Integrität dieses Dokuments

Farwer, Berndt ; Leuschel, Michael

Model Checking Object Petri Nets in Maude and Prolog

Fehler.