@inproceedings{mci/Palczynski2006,
author = {Palczynski, Jacob AND Schlich, Bastian AND Kowalewski, Stefan},
title = {Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern},
booktitle = {INFORMATIK 2006 – Informatik für Menschen, Band 1},
year = {2006},
editor = {Hochberger, Christian AND Liskowsky, Rüdiger} ,
pages = { 751-755 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}