Thomas Göthel. Maschinelle Verifikation von parametrisierten Echtzeitsystemen. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2012. Volume D-13 of LNI, pages 121-130, GI, 2012.
@inproceedings{Gothel12,
title = {Maschinelle Verifikation von parametrisierten Echtzeitsystemen},
author = {Thomas Göthel},
year = {2012},
researchr = {https://researchr.org/publication/Gothel12},
cites = {0},
citedby = {0},
pages = {121-130},
booktitle = {Ausgezeichnete Informatikdissertationen 2012},
editor = {Steffen Hölldobler},
volume = {D-13},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-417-2},
}