MIN-Fakultät Fachbereich Informatik Bibliothek
Farwer, Berndt ; Leuschel, Michael
Model Checking Object Petri Nets in Maude and Prolog