David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés. Automated Reasoning on Feature Models. In Oscar Pastor, João Falcão e Cunha, editors, Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings. Volume 3520 of Lecture Notes in Computer Science, pages 491-503, Springer, 2005. [doi]
@inproceedings{BenavidesTC05:0,
title = {Automated Reasoning on Feature Models},
author = {David Benavides and Pablo Trinidad Martín-Arroyo and Antonio Ruiz Cortés},
year = {2005},
doi = {10.1007/11431855_34},
url = {http://dx.doi.org/10.1007/11431855_34},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BenavidesTC05%3A0},
cites = {0},
citedby = {0},
pages = {491-503},
booktitle = {Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings},
editor = {Oscar Pastor and João Falcão e Cunha},
volume = {3520},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26095-1},
}