Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen. Algebraic Graph Transformations with Inheritance. In Juliano Iyoda, Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Volume 8195 of Lecture Notes in Computer Science, pages 211-226, Springer, 2013. [doi]
Abstract is missing.