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 Sammelwerk2008Informatik
Titel:
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, BarbaraLSF
Erscheinungsjahr
2008
WWW URL