Alur, R. (1991). Techniques for automatic verification of real-time systems. Department of Computer Science, Stanford Univ.
Chicago-Zitierstil (17. Ausg.)Alur, Rajeev. Techniques for Automatic Verification of Real-time Systems. Stanford, Calif: Department of Computer Science, Stanford Univ, 1991.
MLA-Zitierstil (9. Ausg.)Alur, Rajeev. Techniques for Automatic Verification of Real-time Systems. Department of Computer Science, Stanford Univ, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.