Huilin Ye, Yuqing Lin
A Formal Specification for Product Configuration in Software Product Lines
SEKE, 2007.
@inproceedings{SEKE-2007-YeL,
author = "Huilin Ye and Yuqing Lin",
booktitle = "{Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-20-9",
pages = "221--226",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{A Formal Specification for Product Configuration in Software Product Lines}",
year = 2007,
}