Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
2008
In: Logical Methods in Computer Science, Jg. 4 (2008), Heft 4, Paper 3
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Autor(in):
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2008
Erschienen in:
Logical Methods in Computer Science, Jg. 4 (2008), Heft 4, Paper 3
ISSN
WWW URL
WWW URL