Compositional Verification: Decidability Issues Using Graph Substitutions.

Olivier Ly

Browse the full MFCS paper archive.