APA (7th ed.) Citation

Henzinger, T., Manna, Z., & Pnueli, A. (1990). An interleaving model for real time.

Chicago Style (17th ed.) Citation

Henzinger, Thomas, Zohar Manna, and Amir Pnueli. An Interleaving Model for Real Time. Stanford, Calif, 1990.

MLA (9th ed.) Citation

Henzinger, Thomas, et al. An Interleaving Model for Real Time. 1990.