An SMT-based Approach to Automated Configuration

Research output: Contribution to conferencePaper

Original languageEnglish
Pages107-117
Number of pages11
Publication statusPublished - 1 Jan 2012

Cite this

@conference{2e38213abb19462cba66181e1317b4e3,
title = "An SMT-based Approach to Automated Configuration",
author = "Rapha{\"e}l Michel and Arnaud Hubaux and Vijay Ganesh and Patrick Heymans",
year = "2012",
month = "1",
day = "1",
language = "English",
pages = "107--117",

}

An SMT-based Approach to Automated Configuration. / Michel, Raphaël; Hubaux, Arnaud; Ganesh, Vijay; Heymans, Patrick.

2012. 107-117.

Research output: Contribution to conferencePaper

TY - CONF

T1 - An SMT-based Approach to Automated Configuration

AU - Michel, Raphaël

AU - Hubaux, Arnaud

AU - Ganesh, Vijay

AU - Heymans, Patrick

PY - 2012/1/1

Y1 - 2012/1/1

M3 - Paper

SP - 107

EP - 117

ER -