%0 Conference Paper %1 conf/banff/Vardi95 %A Vardi, Moshe Y. %B Banff Higher Order Workshop %D 1995 %E Moller, Faron %E Birtwistle, Graham M. %I Springer %K dblp %P 238-266 %T An Automata-Theoretic Approach to Linear Temporal Logic. %U http://dblp.uni-trier.de/db/conf/banff/banff1995.html#Vardi95 %V 1043 %@ 3-540-60915-6

@inproceedings{conf/banff/Vardi95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2f8038f1e2f0d72115f2377cff426fc4c/dblp}, booktitle = {Banff Higher Order Workshop}, crossref = {conf/banff/1995}, editor = {Moller, Faron and Birtwistle, Graham M.}, ee = {https://doi.org/10.1007/3-540-60915-6_6}, interhash = {1b3bbeb2610ed6c1170600b7b420912d}, intrahash = {f8038f1e2f0d72115f2377cff426fc4c}, isbn = {3-540-60915-6}, keywords = {dblp}, pages = {238-266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:52:11.000+0200}, title = {An Automata-Theoretic Approach to Linear Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/banff/banff1995.html#Vardi95}, volume = 1043, year = 1995 }