Automated Reasoning on Feature Models
Title | Automated Reasoning on Feature Models |
Publication Type | Book Chapter |
Year of Publication | 2013 |
Authors | Benavides, David, Pablo Trinidad, and Antonio Ruiz-Cortés |
Chapter | Automated Reasoning on Feature Models |
Pages | 2013 |
Publisher | Springer Berlin Heidelberg |
Book Title | Seminal Contributions to Information Systems Engineering |
ISBN Number | 978-3-642-36925-4 |
URL | http://dx.doi.org/10.1007/978-3-642-36926-1_29 |
DOI | 10.1007/978-3-642-36926-1_29 |
Full PDF: