11th ICGT 2018: Toulouse, France

Graph Languages

Graph Transformation Formalisms

Parallel Independence and Conflicts

Graph Conditions and Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics