%0 Conference Paper %1 conf/somet/HeradioPFBCCH16 %A Heradio, Ruben %A Perez-Morago, Hector %A Fernández-Amorós, David %A Bean, Roberto %A Cabrerizo, Francisco Javier %A Cerrada, Carlos %A Herrera-Viedma, Enrique %B SoMeT %D 2016 %E Fujita, Hamido %E Papadopoulos, George Angelos %I IOS Press %K dblp %P 139-154 %T Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models. %U http://dblp.uni-trier.de/db/conf/somet/somet2016.html#HeradioPFBCCH16 %V 286 %@ 978-1-61499-674-3

@inproceedings{conf/somet/HeradioPFBCCH16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Heradio, Ruben and Perez-Morago, Hector and Fernández-Amorós, David and Bean, Roberto and Cabrerizo, Francisco Javier and Cerrada, Carlos and Herrera-Viedma, Enrique}, biburl = {https://www.bibsonomy.org/bibtex/22bd14909d1fa38c399b3085ba9aeb472/dblp}, booktitle = {SoMeT}, crossref = {conf/somet/2016}, editor = {Fujita, Hamido and Papadopoulos, George Angelos}, ee = {https://doi.org/10.3233/978-1-61499-674-3-139}, interhash = {f623425820af318b5f07e4740f71b9b9}, intrahash = {2bd14909d1fa38c399b3085ba9aeb472}, isbn = {978-1-61499-674-3}, keywords = {dblp}, pages = {139-154}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2018-11-03T14:05:06.000+0100}, title = {Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models.}, url = {http://dblp.uni-trier.de/db/conf/somet/somet2016.html#HeradioPFBCCH16}, volume = 286, year = 2016 }