Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato. Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. In Yukiyoshi Kameyama, Peter J. Stuckey, editors, Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Volume 2998 of Lecture Notes in Computer Science, pages 7-21, Springer, 2004. [doi]
Abstract is missing.