70742432

a

70742432 Palczynski, Jacob Schlich, Bastian Kowalewski, Stefan Eine evaluationssuite zur schnellen bewertung von MATLAB/simulink-modelcheckern GI Jahrestagung (1), 751-755 (2006). 2006 EN

http://subs.emis.de/LNI/Proceedings/Proceedings93/article4826.html