Citáce podľa APA (7th ed.)

Manna, Z., & Pnueli, A. (1992). The temporal logic of reactive and concurrent systems. Springer-Verlag.

Citácia podle Chicago (17th ed.)

Manna, Zohar, a A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. New York ; Tokyo: Springer-Verlag, 1992.

Citácia podľa MLA (8th ed.)

Manna, Zohar, a A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..