Communication Dans Un Congrès
Année : 2019
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03003816
Soumis le : vendredi 13 novembre 2020-13:42:32
Dernière modification le : vendredi 12 janvier 2024-14:26:36
Dates et versions
Identifiants
- HAL Id : hal-03003816 , version 1
Citer
Amani Makhlouf, Han Nhi Tran, Christian Percebois. Reasoning about Global Graph Properties from Local Graph Transformation Rules (KMOTS 2019), Guilin, Chine, 01/07/19). First International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems (KMOTS 2019), Jul 2019, Guilin, China. ⟨hal-03003816⟩
Collections
29
Consultations
0
Téléchargements