%0 Conference Paper %1 Eme90 %A Emerson, E. A. %B Handbook of Theoretical Computer Science, Vol. B %D 1990 %E Leeuwen, J. Van %I Elsevier Science Publishers, North-Holland %K imported %P 995--1072 %T Temporal and Modal Logic

@inproceedings{Eme90, added-at = {2007-11-02T23:09:02.000+0100}, author = {Emerson, E. A.}, biburl = {https://www.bibsonomy.org/bibtex/2c661bba07bb428791e03307cdcde6ce0/bsmyth}, booktitle = {Handbook of Theoretical Computer Science, Vol. B}, description = {all-bibs-cleaned.bib}, editor = {Leeuwen, J. Van}, interhash = {2b7008f9fb32d68afdf75a1ec3e5a050}, intrahash = {c661bba07bb428791e03307cdcde6ce0}, keywords = {imported}, pages = {995--1072}, publisher = {Elsevier Science Publishers, North-Holland}, timestamp = {2007-11-02T23:09:03.000+0100}, title = {{Temporal and Modal Logic}}, year = 1990 }