Feature modeling and Verification based on Description Logics.

Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang

Browse the full SEKE paper archive.