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. Technical Report DISI-TR-11-04, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 2012.
Suggested BibTeX entry:
@techreport{BKKSS12a,
author = {Nathalie Bertrand and Giorgio Delzanno and Barbara K\"onig and Arnaud Sangnier and Jan St\"uckrath},
institution = {Dipartimento di Informatica e Scienze dell'Informazione, Universit\`a di Genova},
number = {DISI-TR-11-04},
title = {On the Decidability Status of Reachability and Coverability in Graph Transformation Systems},
year = {2012}
}
