Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato

Browse the full FLOPS paper archive.