SAT-based Analysis of Feature Models is Easy

Marcilio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the 13th International Software Product Line Conference
Forlag	Association for Computing Machinery
Publikationsdato	2009
Status	Udgivet - 2009
Begivenhed	International Conference on Software Product Lines - San Francisco, USA Varighed: 24 aug. 2009 → 28 aug. 2009 Konferencens nummer: 13

Konference	International Conference on Software Product Lines
Nummer	13
Land/Område	USA
By	San Francisco
Periode	24/08/2009 → 28/08/2009

Citationsformater

@inproceedings{d1cbe0a0e4d511dea523000ea68e967b,

title = "SAT-based Analysis of Feature Models is Easy",

author = "Marcilio Mendon{\c c}a and Andrzej Wasowski and Krzysztof Czarnecki",

year = "2009",

language = "English",

booktitle = "Proceedings of the 13th International Software Product Line Conference",

publisher = "Association for Computing Machinery",

address = "United States",

note = "International Conference on Software Product Lines ; Conference date: 24-08-2009 Through 28-08-2009",

}

TY - GEN

T1 - SAT-based Analysis of Feature Models is Easy

AU - Mendonça, Marcilio

AU - Wasowski, Andrzej

AU - Czarnecki, Krzysztof

N1 - Conference code: 13

PY - 2009

Y1 - 2009

M3 - Article in proceedings

BT - Proceedings of the 13th International Software Product Line Conference

PB - Association for Computing Machinery

T2 - International Conference on Software Product Lines

Y2 - 24 August 2009 through 28 August 2009

ER -