Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.

Paolo Baldan, Andrea Corradini, Barbara Knig

Browse the full CONCUR paper archive.