APA-Zitierstil (7. Ausg.)

Manna, Z., & Pnueli, A. (1995). Temporal verification of reactive systems: Safety. Springer.

Chicago-Zitierstil (17. Ausg.)

Manna, Zohar, und Amir Pnueli. Temporal Verification of Reactive Systems: Safety. New York [u.a.]: Springer, 1995.

MLA-Zitierstil (9. Ausg.)

Manna, Zohar, und Amir Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, 1995.