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
ISBN: 3-540-68676-2
Buchaufsatz / Kapitel / Fach: Informatik