Communication Dans Un Congrès
Année : 2012
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00752446
Soumis le : jeudi 15 novembre 2012-17:18:23
Dernière modification le : lundi 30 octobre 2023-16:10:05
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⟩
Collections
69
Consultations
0
Téléchargements