Wei Zhang, Haiyan Zhao, Hong Mei. Binary-Search Based Verification of Feature Models. In Klaus Schmid, editor, Top Productivity through Software Reuse - 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings. Volume 6727 of Lecture Notes in Computer Science, pages 4-19, Springer, 2011. [doi]
Abstract is missing.