Palczynski, JacobSchlich, BastianKowalewski, StefanHochberger, ChristianLiskowsky, Rüdiger2019-06-122019-06-122006978-3-88579-187-4https://dl.gi.de/handle/20.500.12116/23652deEine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-ModelcheckernText/Conference Paper1617-5468