On the Decidability Status of Reachability and Coverability in Graph Transformation Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More