König, Barbara; Esparza, Javier:
Verification of Graph Transformation Systems with Context-Free Specifications
In: Graph Transformations : Proceedings of the 5th International Conference on Graph Transformation, ICGT 2010. - (Lecture Notes in Computer Science ; 6372) - Berlin [u.a.]: Springer, 2010, S. 107 - 122
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Verification of Graph Transformation Systems with Context-Free Specifications
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Esparza, Javier
Erscheinungsjahr:
2010
Erschienen in:
Graph Transformations : Proceedings of the 5th International Conference on Graph Transformation, ICGT 2010. - (Lecture Notes in Computer Science ; 6372) - Berlin [u.a.]: Springer, 2010, S. 107 - 122
ISBN:
Link URL: