%0 Conference Paper %1 conf/cav/KestenMMP93 %A Kesten, Yonit %A Manna, Zohar %A McGuire, Hugh %A Pnueli, Amir %B CAV %D 1993 %E Courcoubetis, Costas %I Springer %K dblp %P 97-109 %T A Decision Algorithm for Full Propositional Temporal Logic. %U http://dblp.uni-trier.de/db/conf/cav/cav93.html#KestenMMP93 %V 697 %@ 3-540-56922-7

@inproceedings{conf/cav/KestenMMP93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kesten, Yonit and Manna, Zohar and McGuire, Hugh and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2abed98d0f23f5be36030b3211ec1ee0f/dblp}, booktitle = {CAV}, crossref = {conf/cav/1993}, editor = {Courcoubetis, Costas}, ee = {https://doi.org/10.1007/3-540-56922-7_9}, interhash = {71b2e3d1d138a17e3594d33ce78268ce}, intrahash = {abed98d0f23f5be36030b3211ec1ee0f}, isbn = {3-540-56922-7}, keywords = {dblp}, pages = {97-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:16.000+0200}, title = {A Decision Algorithm for Full Propositional Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav93.html#KestenMMP93}, volume = 697, year = 1993 }