David Benavides, Pablo Trinidad, Antonio Ruiz Cortés. Automated Reasoning on Feature Models. In Janis A. Bubenko Jr., John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg, editors, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE. pages 361-373, Springer, 2013. [doi]
@incollection{BenavidesT13,
title = {Automated Reasoning on Feature Models},
author = {David Benavides and Pablo Trinidad and Antonio Ruiz Cortés},
year = {2013},
doi = {10.1007/978-3-642-36926-1_29},
url = {http://dx.doi.org/10.1007/978-3-642-36926-1_29},
researchr = {https://researchr.org/publication/BenavidesT13},
cites = {0},
citedby = {0},
pages = {361-373},
booktitle = {Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE},
editor = {Janis A. Bubenko Jr. and John Krogstie and Oscar Pastor and Barbara Pernici and Colette Rolland and Arne Sølvberg},
publisher = {Springer},
isbn = {978-3-642-36926-1},
}