APA-Zitierstil (7. Ausg.)

Manna, Z., & Pnueli, A. The temporal logic of reactive and concurrent systems. Springer.

Chicago-Zitierstil (17. Ausg.)

Manna, Zohar, und Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. New York [u.a.]: Springer.

MLA-Zitierstil (9. Ausg.)

Manna, Zohar, und Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer.