Martin Kutrib, Thomas Worsch. Self-Verifying Cellular Automata. J. Cellular Automata, 15(3):223-242, 2020. [doi]
@article{KutribW20,
title = {Self-Verifying Cellular Automata},
author = {Martin Kutrib and Thomas Worsch},
year = {2020},
url = {https://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-15-number-3-2020/jca-15-3-p-223-242/},
researchr = {https://researchr.org/publication/KutribW20},
cites = {0},
citedby = {0},
journal = {J. Cellular Automata},
volume = {15},
number = {3},
pages = {223-242},
}