Self-Verifying Cellular Automata

Martin Kutrib, Thomas Worsch. Self-Verifying Cellular Automata. J. Cellular Automata, 15(3):223-242, 2020. [doi]

Authors

Martin Kutrib

This author has not been identified. Look up 'Martin Kutrib' in Google

Thomas Worsch

This author has not been identified. Look up 'Thomas Worsch' in Google