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 |
Editors | Bubenko, Janis, John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, and Arne Sølvberg |
Chapter | 29 |
Pages | 361-373 |
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 |