Report copyright - Model Checking Omega Cellular Automatareports-archive.adm.cs.cmu.edu/.../CMU-CS-10-123.pdf · for one-dimensional cellular automata. The theory inspiring this paper is presented by
Please pass captcha verification before submit form