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 Sammelwerk2010Informatik
Titel:
Verification of Graph Transformation Systems with Context-Free Specifications
Autor(in):
König, BarbaraLSF; Esparza, Javier
Erscheinungsjahr
2010
WWW URL