On the Decidability Status of Reachability and Coverability in Graph Transformation Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012
No file

Dates and versions

hal-00752446 , version 1 (15-11-2012)

Identifiers

Cite

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⟩
69 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More