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
ISBN: 978-3-642-15927-5
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.