DMCA

Compositional Verification: Decidability issues using graph substitutions. (2004)

by Olivier Ly