@inproceedings{aee0386db34f40d7a958040bbcb8407c,
title = "Efficient configuration and verification of software product lines",
keywords = "Configuration, Software product lines, Verification",
author = "Ingo Feinerer",
year = "2011",
doi = "10.1145/2019136.2019193",
language = "English",
isbn = "9781450307895",
series = "ACM International Conference Proceeding Series",
booktitle = "Proceedings of the 15th International Software Product Line Conference, SPLC'11",
note = "15th International Software Product Line Conference, SPLC'11 ; Conference date: 21-08-2011 Through 26-08-2011",
}