%0 Conference Paper %1 conf/rex/EmersonS88 %A Emerson, E. Allen %A Srinivasan, Jai %B REX Workshop %D 1988 %E de Bakker, J. W. %E de Roever, Willem P. %E Rozenberg, Grzegorz %I Springer %K dblp %P 123-172 %T Branching time temporal logic. %U http://dblp.uni-trier.de/db/conf/rex/rex88.html#EmersonS88 %V 354 %@ 0-387-51080-X

@inproceedings{conf/rex/EmersonS88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Emerson, E. Allen and Srinivasan, Jai}, biburl = {https://www.bibsonomy.org/bibtex/2f77792d3a9407a6af083c6a4c9c67e60/dblp}, booktitle = {REX Workshop}, crossref = {conf/rex/1988}, editor = {de Bakker, J. W. and de Roever, Willem P. and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/BFb0013022}, interhash = {82ac846bbcbc148cbe03000f2a5c26cd}, intrahash = {f77792d3a9407a6af083c6a4c9c67e60}, isbn = {0-387-51080-X}, keywords = {dblp}, pages = {123-172}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:01:17.000+0200}, title = {Branching time temporal logic.}, url = {http://dblp.uni-trier.de/db/conf/rex/rex88.html#EmersonS88}, volume = 354, year = 1988 }