@inproceedings{nguyen:hal-02605712,
  TITLE = {{Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation}},
  AUTHOR = {Nguyen, Tien Thao and Maignan, Luidnel},
  URL = {https://hal.science/hal-02605712},
  BOOKTITLE = {{26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA)}},
  ADDRESS = {Stockholm, Sweden},
  EDITOR = {Hector Zenil},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Cellular Automata and Discrete Complex Systems},
  VOLUME = {LNCS-12286},
  PAGES = {1-13},
  YEAR = {2020},
  MONTH = Aug,
  DOI = {10.1007/978-3-030-61588-8\_1},
  KEYWORDS = {Cellular automata ; Automata minimization ; Firing squad synchronization problem.},
  PDF = {https://hal.science/hal-02605712/file/AUTOMATA_20%282%29.pdf},
  HAL_ID = {hal-02605712},
  HAL_VERSION = {v1},
}