Barbara König, Vitali Kozioura. Towards the Verification of Attributed Graph Transformation Systems. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Volume 5214 of Lecture Notes in Computer Science, pages 305-320, Springer, 2008. [doi]
Abstract is missing.