%0 Conference Paper %1 conf/tacas/AlfaroM97 %A de Alfaro, Luca %A Manna, Zohar %A Sipma, Henny B. %A Uribe, Tomás E. %B TACAS %D 1997 %E Brinksma, Ed %I Springer %K dblp %P 334-350 %T Visual Verification of Reactive Systems. %U http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#AlfaroM97 %V 1217 %@ 3-540-62790-1

@inproceedings{conf/tacas/AlfaroM97, added-at = {2017-05-22T00:00:00.000+0200}, author = {de Alfaro, Luca and Manna, Zohar and Sipma, Henny B. and Uribe, Tomás E.}, biburl = {https://www.bibsonomy.org/bibtex/2ca036303fd9b2ad1f155b19ad8ac2e0a/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1997}, editor = {Brinksma, Ed}, ee = {https://doi.org/10.1007/BFb0035398}, interhash = {5b865d76f86c4cdb7360d9921fa0a65c}, intrahash = {ca036303fd9b2ad1f155b19ad8ac2e0a}, isbn = {3-540-62790-1}, keywords = {dblp}, pages = {334-350}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:22.000+0200}, title = {Visual Verification of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#AlfaroM97}, volume = 1217, year = 1997 }