Communication Dans Un Congrès
Année : 2018
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02080552
Soumis le : mardi 26 mars 2019-18:18:22
Dernière modification le : vendredi 5 avril 2024-03:12:20
Citer
Jon Haël Brenas, Rachid Echahed, Martin Strecker. Verifying Graph Transformation Systems with Description Logics. ICGT 2018, 2018, Toulouse, France. pp.155-170, ⟨10.1007/978-3-319-92991-0_10⟩. ⟨hal-02080552⟩
Collections
23
Consultations
0
Téléchargements