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}
}
