SAT-based Analysis of Feature Models is Easy

TitleSAT-based Analysis of Feature Models is Easy
Publication TypeConference Paper
Year of Publication2009
AuthorsMendonça, M., A. Wąsowski, and K. Czarnecki
Conference Name13th International Conference on Software Product Lines (SPLC 2009)
Conference LocationSan Francisco, CA, USA
ISBN Number978-0-9786956-2-0
AttachmentSize
splc09.pdf573.01 KB
splc2009-presentation.pdf561.29 KB