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 : mercredi 18 décembre 2024-10:04:34
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
35
Consultations
0
Téléchargements