Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00752446
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Thursday, November 15, 2012 - 5:18:23 PM
Last modification on : Friday, February 4, 2022 - 3:17:01 AM

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

62