%0 Conference Paper %1 conf/pstv/GerthPVW95 %A Gerth, Rob %A Peled, Doron A. %A Vardi, Moshe Y. %A Wolper, Pierre %B PSTV %D 1995 %E Dembinski, Piotr %E Sredniawa, Marek %I Chapman & Hall %K dblp %P 3-18 %T Simple on-the-fly automatic verification of linear temporal logic. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1995.html#GerthPVW95 %V 38 %@ 0-412-71620-8

@inproceedings{conf/pstv/GerthPVW95, added-at = {2016-02-12T00:00:00.000+0100}, author = {Gerth, Rob and Peled, Doron A. and Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/26f38a83fbaa4fe613b49843f739bad76/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1995}, editor = {Dembinski, Piotr and Sredniawa, Marek}, interhash = {9381f666660e4b5a6368611eb7bcdc39}, intrahash = {6f38a83fbaa4fe613b49843f739bad76}, isbn = {0-412-71620-8}, keywords = {dblp}, pages = {3-18}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-13T11:46:00.000+0100}, title = {Simple on-the-fly automatic verification of linear temporal logic.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1995.html#GerthPVW95}, volume = 38, year = 1995 }