Baldan, Paolo; Corradini, Andrea; König, Barbara:
Unfolding Graph Transformation Systems: Theory and Applications to Verification
In: Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. (Lecture Notes in Computer Science ; 5065) / Degano, Pierpaolo; Nicola, Rocco De; Meseguer, José (Hrsg.). - Berlin [u.a.]: Springer, 2008, S. 16 - 36
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2008
Erschienen in:
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. (Lecture Notes in Computer Science ; 5065) / Degano, Pierpaolo; Nicola, Rocco De; Meseguer, José (Hrsg.). - Berlin [u.a.]: Springer, 2008, S. 16 - 36
ISBN:
Link URL: