APA (7th ed.) Citation

Alur, R., & Henzinger, T. (1990). Real-time logics: Complexity and expressiveness.

Chicago Style (17th ed.) Citation

Alur, Rajeev, and Thomas Henzinger. Real-time Logics: Complexity and Expressiveness. Stanford, Calif, 1990.

MLA (9th ed.) Citation

Alur, Rajeev, and Thomas Henzinger. Real-time Logics: Complexity and Expressiveness. 1990.

Warning: These citations may not always be 100% accurate.