Ostroff, J. S. (1989). Temporal logic for real-time systems. Research Studies Press u.a.
Chicago-Zitierstil (17. Ausg.)Ostroff, Jonathan S. Temporal Logic for Real-time Systems. Taunton u.a: Research Studies Press u.a, 1989.
MLA-Zitierstil (9. Ausg.)Ostroff, Jonathan S. Temporal Logic for Real-time Systems. Research Studies Press u.a, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.