Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models.

Ruben Heradio Hector Perez-Morago David Fernández-Amorós Roberto Bean Francisco Javier Cabrerizo Carlos Cerrada Enrique Herrera-Viedma

Published in: SoMeT (2016)

Keyphrases