Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz. Using constraint programming to verify DOPLER variability models. In Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker, editors, Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings. ACM International Conference Proceedings Series, pages 97-103, ACM, 2011. [doi]
Abstract is missing.