APA (7th ed.) Citation

Henzinger, T., Manna, Z., & Pnueli, A. (1990). Temporal proof methodologies for real-time systems.

Chicago Style (17th ed.) Citation

Henzinger, Thomas, Zohar Manna, and Amir Pnueli. Temporal Proof Methodologies for Real-time Systems. Stanford, Calif, 1990.

MLA (9th ed.) Citation

Henzinger, Thomas, et al. Temporal Proof Methodologies for Real-time Systems. 1990.