Auflistung nach Autor "Heinzemann, Christian"
Anzeige der Dokumente 1-1 von 1
-
Automata-based refinement checking for real-time systems
Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan
99-112
- Startseite
- Auflistung nach Autor