Automated Reasoning on Feature Models

TitleAutomated Reasoning on Feature Models
Publication TypeBook Chapter
Year of Publication2013
AuthorsBenavides, David, Pablo Trinidad, and Antonio Ruiz-Cortés
ChapterAutomated Reasoning on Feature Models
Pages2013
PublisherSpringer Berlin Heidelberg
Book TitleSeminal Contributions to Information Systems Engineering
ISBN Number978-3-642-36925-4
URLhttp://dx.doi.org/10.1007/978-3-642-36926-1_29
DOI10.1007/978-3-642-36926-1_29