%0 Conference Paper %1 conf/flops/HagiyaTYS04 %A Hagiya, Masami %A Takahashi, Koichi %A Yamamoto, Mitsuharu %A Sato, Takahiro %B FLOPS %D 2004 %E Kameyama, Yukiyoshi %E Stuckey, Peter J. %I Springer %K dblp %P 7-21 %T Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. %U http://dblp.uni-trier.de/db/conf/flops/flops2004.html#HagiyaTYS04 %V 2998 %@ 3-540-21402-X

@inproceedings{conf/flops/HagiyaTYS04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hagiya, Masami and Takahashi, Koichi and Yamamoto, Mitsuharu and Sato, Takahiro}, biburl = {https://www.bibsonomy.org/bibtex/24b32cb9b1fc2852d7f7d64d7b9141ef6/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2004}, editor = {Kameyama, Yukiyoshi and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-540-24754-8_2}, interhash = {92812c65682384b1e918bbf9a8c8fffa}, intrahash = {4b32cb9b1fc2852d7f7d64d7b9141ef6}, isbn = {3-540-21402-X}, keywords = {dblp}, pages = {7-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2004.html#HagiyaTYS04}, volume = 2998, year = 2004 }