Communication Dans Un Congrès
Année : 2012
Patrick Heymans : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00718335
Soumis le : lundi 16 juillet 2012-16:31:15
Dernière modification le : vendredi 24 mars 2023-14:52:55
Dates et versions
Identifiants
- HAL Id : hal-00718335 , version 1
Citer
Patrick Heymans, Raphaël Michel, Vijay Ganesh, Arnaud Hubaux. An SMT-based Approach to Automated Configuration. 10th International Workshop on Satisfiability Modulo Theories (SMT), Jun 2012, Manchester, United Kingdom. pp.107-117. ⟨hal-00718335⟩
Collections
439
Consultations
0
Téléchargements