Publications

Publications de

Articles dans des revues internationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences sans actes publiés
  • Amani Makhlouf, Han Nhi Tran, Christian Percebois

    Reasoning about Global Graph Properties from Local Graph Transformation Rules

    Dans : First International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems (KMOTS 2019), Guilin, Chine, 01/07/19.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant