@inproceedings{mci/Goedicke2008,
author = {Goedicke, Michael AND Balz, Moritz AND Striewe, Michael},
title = {UPPAAL-Modelle als ausführbare Spezifikation in Java},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 212-218 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}