BDD algorithms to perform hard analysis operations on variability models

Aquesta tesi apareix a les col·leccions següents