Conference Papers
Year : 2012
Nathalie Bertrand : Connect in order to contact the contributor
https://inria.hal.science/hal-00752446
Submitted on : Thursday, November 15, 2012-5:18:23 PM
Last modification on : Thursday, September 14, 2023-11:04:04 AM
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⟩
Collections
69
View
0
Download