author = { Thielke, Thomas AND Riemann, Robert },

title = { Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP },

publisher = {Inst. für Informatik},

year = {1996},

booktitle = {Hildesheimer Informatik-Berichte ; 96,29},

address = { Hildesheim },

url = { http://slubdd.de/katalog?TN_libero_mab2 }