-
Notifications
You must be signed in to change notification settings - Fork 4
References
-
[Ehrig2006] Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike and Taentzer, Gabriele. Fundamentals of Algebraic Graph Transformation. Springer, 2006.
-
[Deckwerth2016] Frederik Deckwerth. Static Verification Techniques for Attributed Graph Transformations. Technischen Universität Darmstadt, 2016.
-
[Lambers2010] Lambers, Leen. Certifying Rule-Based Models using Graph Transformation. Elektrotechnik und Informatik der Technischen Universität Berlin, 2010.
-
[Machado2012] Machado, Rodrigo. Higher-Order Graph Rewriting Systems. Universidade Federal do Rio Grande do Sul, 2012.
-
[Ribeiro1996] Ribeiro, Leila. Parallel composition and unfolding semantics of graph grammars. Technischen Universität Berlin, 1996.
-
[Rozenberg1997] Rozenberg, Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation. vol. 1. 1997.