direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Maschinelle Verifikation von parametrisierten Echtzeitsystemen
Citation key Goethel2013a
Author Thomas Göthel
Title of Book Ausgezeichnete Informatikdissertationen 2012
Pages 121–130
Year 2013
ISBN 978-3-88579-417-2
Publisher Bonner Köllen Verlag
Series Lecture Notes in Informatics (LNI)
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe