Martin Kutrib, Thomas Worsch. Self-verifying Cellular Automata. In Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni, editors, Cellular Automata - 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings. Volume 11115 of Lecture Notes in Computer Science, pages 340-351, Springer, 2018. [doi]
@inproceedings{KutribW18, title = {Self-verifying Cellular Automata}, author = {Martin Kutrib and Thomas Worsch}, year = {2018}, doi = {10.1007/978-3-319-99813-8_31}, url = {https://doi.org/10.1007/978-3-319-99813-8_31}, researchr = {https://researchr.org/publication/KutribW18}, cites = {0}, citedby = {0}, pages = {340-351}, booktitle = {Cellular Automata - 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings}, editor = {Giancarlo Mauri and Samira El Yacoubi and Alberto Dennunzio and Katsuhiro Nishinari and Luca Manzoni}, volume = {11115}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-99813-8}, }