A Framework for the Verification of Infinite-State Graph ...

Reference

Paolo Baldan, Andrea Corradini, and Barbara König. A framework for the verification of infinite-state graph transformation systems. Information and Computation, 206:869–907, 2008.

Suggested BibTeX entry:

@article{BCK08b,
    author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig},
    journal = {Information and Computation},
    pages = {869-907},
    title = {A Framework for the Verification of Infinite-State Graph Transformation Systems},
    volume = {206},
    year = {2008}
}

This work is not available online here.