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 Sammelwerk / Fach: Informatik
Titel:
Towards the Verification of Attributed Graph Transformation Systems
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Kozioura, Vitali
Erscheinungsjahr
2008
Erschienen 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
WWW URL