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
Argitaletxea: IOS Press
ISBN: 978-1-61499-673-6
Argitalpen urtea: 2016
Orrialdeak: 139-154
Mota: Biltzar ekarpena