Kristopher Born, Gabriele Taentzer. An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations. In Rachid Echahed, Mark Minas, editors, Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings. Volume 9761 of Lecture Notes in Computer Science, pages 118-134, Springer, 2016. [doi]
Abstract is missing.