Yufeng Shi, Ou Wei, Yu Zhou. Model checking partial software product line designs. In Hareton Kam Nang Leung, editor, Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, November 16, 2014. pages 21-29, ACM, 2014. [doi]
Abstract is missing.