Towards Local Confluence Analysis for Amalgamated Graph Transformation.

Autor: Taentzer, Gabriele, Golas, Ulrike
Zdroj: Graph Transformation (9783319211442); 2015, p69-86, 18p
Databáze: Complementary Index