Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models
- Ruben Heradio
- Hector Perez-Morago
- David Fernandez-Amoros
- Roberto Bean
- F. Javier Cabrerizo
- Carlos Cerrada
- Enrique Herrera-Viedma
Éditorial: IOS Press
ISBN: 978-1-61499-673-6
Année de publication: 2016
Pages: 139-154
Type: Communication dans un congrès