@inproceedings{mci/Reinbacher2014,
author = {Reinbacher, Thomas},
title = {Analyse von eingebetteten Echtzeitsystemen zur Laufzeit},
booktitle = {Ausgezeichnete Informatikdissertationen 2013},
year = {2014},
editor = {} ,
pages = { 181-190 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}