by Jacob Palczynski, Bastian Schlich, Stefan Kowalewski
Reference:
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern (Jacob Palczynski, Bastian Schlich, Stefan Kowalewski), In Informatik 2006: Informatik für Menschen (INFORMATIK 2006), Dresden, Germany, Gesellschaft für Informatik e.V., volume 1, 2006.
Bibtex Entry:
@inproceedings { PSK06,
author = { Palczynski, Jacob and Schlich, Bastian and Kowalewski,
Stefan },
booktitle = { Informatik 2006: Informatik f{"u}r Menschen (INFORMATIK
2006), Dresden, Germany },
isbn = { 978-3-88579-187-4 },
issn = { 1617-5468 },
number = { P-93 },
pages = { 751--755 },
publisher = { Gesellschaft f{"u}r Informatik e.V. },
series = { Lecture Notes in Informatics },
title = { {Eine Evaluationssuite zur schnellen Bewertung von
Matlab/Simulink-Modelcheckern} },
volume = { 1 },
year = { 2006 },
i11key = { conference },
for_reporting_period = { Old },
}