%0 Book
%T Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP
%A Thielke, Thomas
%A Riemann, Robert
%I Inst. für Informatik
%D 1996
%C Inst. für Informatik
%C Hildesheim
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation