Striewe, Michael; Balz, Moritz; Goedicke, Michael:
UPPAAL-Modelle als ausführbare Spezifikation in Java
In: Software Engineering 2008 - Workshopband - München, 2008, S. 212 - 218
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
UPPAAL-Modelle als ausführbare Spezifikation in Java
Autor(in):
Striewe, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Balz, Moritz; Goedicke, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2008
Erschienen in:
Software Engineering 2008 - Workshopband - München, 2008, S. 212 - 218
ISBN:
Signatur der UB: