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

langue originaleAnglais
Pages107-117
Nombre de pages11
Etat de la publicationPublié - 1 janv. 2012

Contient cette citation