APA Edition Citation

zohar Manna,Amir Phueli. (1992). The temporal logic of reactive and concurrent systems/specification. Springer-Verlag.

Chicago Edition Citation

zohar Manna,Amir Phueli. The Temporal Logic of Reactive and Concurrent Systems/specification. Springer-Verlag, 1992.

MLA Edition Citation

zohar Manna,Amir Phueli. The Temporal Logic of Reactive and Concurrent Systems/specification. Springer-Verlag, 1992.

Warning: These citations may not always be 100% accurate.