König, Barbara; Kozioura, Vitali:

Towards the Verification of Attributed Graph Transformation Systems

In: Graph Transformations : Proceedings of the 4th International Conference on Graph Transformation, ICGT 2008. - (Lecture Notes in Computer Science ; 5214)
Berlin [u.a.]: Springer (2008), S. 305-320
ISBN: 978-3-540-87404-1
Buchaufsatz / Kapitel / Fach: Informatik