Communication Dans Un Congrès
Année : 2019
Anne-Flore Jarry : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02492056
Soumis le : mercredi 26 février 2020-16:03:39
Dernière modification le : vendredi 27 janvier 2023-16:08:04
Dates et versions
Identifiants
- HAL Id : hal-02492056 , version 1
Citer
Dennis Wagelaar, Frédéric Jouault, Théo Le Calvar. Truth Tables to Binary Decision Diagrams in Modern ATL. TTC 2019 Transformation Tool Contest, Jul 2019, Eindhoven, Netherlands. pp.51-58. ⟨hal-02492056⟩
Collections
38
Consultations
0
Téléchargements