%0 Book %1 books/daglib/0077033 %A Manna, Zohar %A Pnueli, Amir %D 1992 %I Springer %K dblp %P I-XIV, 1-427 %T The temporal logic of reactive and concurrent systems - specification. %@ 978-1-4612-0931-7

@book{books/daglib/0077033, added-at = {2019-07-23T00:00:00.000+0200}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/20c37ada4dde078e36698471552d1810a/dblp}, ee = {https://doi.org/10.1007/978-1-4612-0931-7}, interhash = {f5c19dff51f5ee1b591be8cfc6ab53e1}, intrahash = {0c37ada4dde078e36698471552d1810a}, isbn = {978-1-4612-0931-7}, keywords = {dblp}, pages = {I-XIV, 1-427}, publisher = {Springer}, timestamp = {2019-07-24T11:37:17.000+0200}, title = {The temporal logic of reactive and concurrent systems - specification.}, year = 1992 }