A Static Analysis Technique for Graph Transformation Systems.

Paolo Baldan, Andrea Corradini, Barbara Knig

Browse the full CONCUR paper archive.