APA Citation

Manna, Z., & Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. New York, NY s.l: Springer New York.

Chicago Style Citation

Manna, Zohar, and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. New York, NY s.l: Springer New York, 1992.

MLA Citation

Manna, Zohar, and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. New York, NY s.l: Springer New York, 1992.

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