@inproceedings{mci/Schatz2014,
author = {Schatz, Roland},
title = {Trace-basiertes Testen von nebenläufigen reaktiven Systemen},
booktitle = {Ausgezeichnete Informatikdissertationen 2013},
year = {2014},
editor = {} ,
pages = { 221-230 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}