Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..