Jean-Vivien Millo, Swarup Mohalik, S. Ramesh. Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. In Arun Bahulkar, K. Kesavasamy, T. V. Prabhakar, Gautam Shroff, editors, Proceeding of the 4th Annual India Software Engineering Conference, ISEC 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011. pages 41-50, ACM, 2011. [doi]
@inproceedings{MilloMR11,
title = {Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking},
author = {Jean-Vivien Millo and Swarup Mohalik and S. Ramesh},
year = {2011},
doi = {10.1145/1953355.1953361},
url = {http://doi.acm.org/10.1145/1953355.1953361},
tags = {software product lines, analysis, constraints, consistency},
researchr = {https://researchr.org/publication/MilloMR11},
cites = {0},
citedby = {0},
pages = {41-50},
booktitle = {Proceeding of the 4th Annual India Software Engineering Conference, ISEC 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011},
editor = {Arun Bahulkar and K. Kesavasamy and T. V. Prabhakar and Gautam Shroff},
publisher = {ACM},
isbn = {978-1-4503-0559-4},
}