A Propositional Logic-Based Method for Verification of Feature Models.

Wei Zhang, Haiyan Zhao, Hong Mei

Browse the full ICFEM paper archive.