1 Treffer

1

1. Model Checking Object Petri Nets in Maude and Prolog
Farwer, Berndt ; Leuschel, Michael 		2004

1