E. Allen Emerson, Jai Srinivasan. Branching time temporal logic. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Volume 354 of Lecture Notes in Computer Science, pages 123-172, Springer, 1988.
@inproceedings{EmersonS88,
title = {Branching time temporal logic},
author = {E. Allen Emerson and Jai Srinivasan},
year = {1988},
tags = {e-science, logic},
researchr = {https://researchr.org/publication/EmersonS88},
cites = {0},
citedby = {0},
pages = {123-172},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings},
editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
volume = {354},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51080-X},
}