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
Buchaufsatz/Kapitel in Sammelwerk2008Informatik
Titel:
Towards the Verification of Attributed Graph Transformation Systems
Autor(in):
König, BarbaraLSF; Kozioura, Vitali
Erscheinungsjahr
2008
WWW URL