%0 Book %1 manna_pnueli %A Manna, Z. %A Pnueli, A. %D 1991 %I Springer-Verlag, New York %K BPM collection imported %T The Temporal Logic of Reactive and Concurrent Systems: Specification

@book{manna_pnueli, added-at = {2012-11-22T19:17:38.000+0100}, author = {Manna, Z. and Pnueli, A.}, biburl = {https://www.bibsonomy.org/bibtex/24aee8b95a7c8b63bf04dabdf8d04bec4/wvdaalst}, interhash = {9cce8628700aa823bcd440cbfec93579}, intrahash = {4aee8b95a7c8b63bf04dabdf8d04bec4}, keywords = {BPM collection imported}, publisher = {Springer-Verlag, New York}, timestamp = {2012-11-22T19:21:37.000+0100}, title = {{The Temporal Logic of Reactive and Concurrent Systems: Specification}}, year = 1991 }