direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Maschinelle Verifikation von parametrisierten Echtzeitsystemen
Zitatschlüssel Goethel2013a
Autor Thomas Göthel
Buchtitel Ausgezeichnete Informatikdissertationen 2012
Seiten 121–130
Jahr 2013
ISBN 978-3-88579-417-2
Verlag Bonner Köllen Verlag
Serie Lecture Notes in Informatics (LNI)
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe