Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.

Salil Joshi, Barbara Knig

Browse the full CAV paper archive.