langue originale | Anglais |
---|---|
Pages | 107-117 |
Nombre de pages | 11 |
Etat de la publication | Publié - 1 janv. 2012 |
An SMT-based Approach to Automated Configuration
Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans
Résultats de recherche: Contribution à un événement scientifique (non publié) › Article