examen
Code Generation for Protocols from CPN models ... - DTU OrbitCode Generation for Protocols from CPN models ... - DTU Orbit
22 Jan 2017 ... Simonsen, Kent Inge; Kristensen, Lars Michael; Kindler, Ekkart. Publication ...
2DTU Informatics, Technical University of Denmark, Denmark.


Call for Papers - Petri Nets 2014 - CnamCall for Papers - Petri Nets 2014 - Cnam
E-mail: ciardo@cs.ucr.edu. Ekkart Kindler. Technical University of Denmark. DTU
Compute ... Faculty of Mathematics and Informatics. FernUniversität in Hagen.