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

Reference

Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graphtransformation systems. Technical Report DISI-TR-11-04, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 2012.

Suggested BibTeX entry:

@techreport{BDKSS12tech,
    author = {Nathalie Bertrand and Giorgio Delzanno and Barbara K{\"o}nig and Arnaud Sangnier and Jan St{\"u}ckrath},
    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 GraphTransformation Systems},
    year = {2012}
}



PDF (672 kB)See www.disi.unige.it ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group