ValidMaker: A tool for managing device configurations using logical constraints.

Sylvain Hall, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire

Browse the full NOMS paper archive.