Sign in

An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.

Kristopher BornGabriele Taentzer
Published in: ICGT (2016)
Keyphrases