TY  - RPRT
TI  - Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation
AU  - Tien Thao Nguyen
AU  - Luidnel Maignan
PY  - 2020
UR  - https://arxiv.org/abs/2005.08570
ID  - 2005.08570
ER  -