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
Editorial: IOS Press
ISBN: 978-1-61499-673-6
Año de publicación: 2016
Páginas: 139-154
Tipo: Aportación congreso