Laura Recalde;Enrique Teruel;Manuel Silva
-;-;-
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design