On the Decidability Status of Reachability and Coverability in Graph Transformation Systems

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00752446
Contributor : Nathalie Bertrand <>
Submitted on : Thursday, November 15, 2012 - 5:18:23 PM
Last modification on : Friday, January 4, 2019 - 5:32:57 PM

Identifiers

Collections

Citation

Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. pp.101-116, ⟨10.4230/LIPIcs.RTA.2012.101⟩. ⟨hal-00752446⟩

Share

Metrics

Record views

133