Model Checking One-Dimensional Cellular Automata

Klaus Sutner. Model Checking One-Dimensional Cellular Automata. J. Cellular Automata, 4(3):213-224, 2009. [doi]

Abstract

Abstract is missing.