Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang
Feature modeling and Verification based on Description Logics
SEKE, 2012.
@inproceedings{SEKE-2012-ShenHTGZ,
author = "Guohua Shen and Zhiqiu Huang and Changbao Tian and Qiang Ge and Wei Zhang",
booktitle = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-31-4",
pages = "422--425",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Feature modeling and Verification based on Description Logics}",
year = 2012,
}