Skip to search boxSkip to navigationSkip to main content

SAT-based Analysis of Feature Models is Easy

  • University of Waterloo
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review

Original language

English

Publication milestones

  • Published - 2009

Publication status

Published - 2009

Publisher

Association for Computing Machinery, United States

Host publication title

Proceedings of the 13th International Software Product Line Conference

Related Event

Title

International Conference on Software Product Lines

Event type

Conference

Date

24/08/2009 - 28/08/2009

Location

San FranciscoUnited States