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
Verlag: IOS Press
ISBN: 978-1-61499-673-6
Datum der Publikation: 2016
Seiten: 139-154
Art: Konferenz-Beitrag