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 / Monographie / Fach: Informatik
http://www.unive.it/nqcontent.cfm?a_id=17114

Dieser Eintrag ist freigegeben.