Beyer, D. (2002). Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata. Mensch-und-Buch-Verl.
Chicago-Zitierstil (17. Ausg.)Beyer, Dirk. Formale Verifikation Von Realzeit-Systemen Mittels Cottbus Timed Automata. Berlin: Mensch-und-Buch-Verl, 2002.
MLA-Zitierstil (9. Ausg.)Beyer, Dirk. Formale Verifikation Von Realzeit-Systemen Mittels Cottbus Timed Automata. Mensch-und-Buch-Verl, 2002.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.