Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Manna, Zohar, y Amir Pnueli. Temporal Verification of Reactive Systems: Safety. New York [etc.]: Springer, 1995.

Cita MLA (9a ed.)

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