On the Decidability Status of Reachability and Coverability in Graph ...

Reference

Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graph transformation systems. In Proc. of RTA '12, volume 15 of LIPIcs, pages 101–116. Schloss Dagstuhl – Leibniz Center for Informatics, 2012.

Suggested BibTeX entry:

@inproceedings{BDKSS12,
    author = {Nathalie Bertrand and Giorgio Delzanno and Barbara K{\"o}nig and Arnaud Sangnier and Jan St{\"u}ckrath},
    booktitle = {Proc. of RTA '12},
    pages = {101--116},
    publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
    series = {{LIPIcs}},
    title = {On the Decidability Status of Reachability and Coverability in Graph Transformation Systems},
    volume = {15},
    year = {2012}
}



PDF (606 kB)See drops.dagstuhl.de ...Tech report version
© University of Duisburg-Essen, Theoretical Computer Science group