APA (7th ed.) Citation

Alur, R. (1991). Techniques for automatic verification of real-time systems. Department of Computer Science, Stanford Univ.

Chicago Style (17th ed.) Citation

Alur, Rajeev. Techniques for Automatic Verification of Real-time Systems. Stanford, Calif: Department of Computer Science, Stanford Univ, 1991.

MLA (9th ed.) Citation

Alur, Rajeev. Techniques for Automatic Verification of Real-time Systems. Department of Computer Science, Stanford Univ, 1991.

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