Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Dipartimento di Informatica, Universita' Ca' Foscari di Venezia, 2006
(Rapporto di Ricerca ; CS-2006-9)
Buch / 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
Verlag:
Dipartimento di Informatica, Universita' Ca' Foscari di Venezia
Erscheinungsjahr:
2006
In Serie:
Rapporto di Ricerca, Band CS-2006-9
Link URL: