Symbolic Model Checking of Software Product Lines

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

185 Downloads (Pure)

Original language	English
Title of host publication	33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings
Publisher	ACM Press
Pages	321-330
Number of pages	10
Publication status	Published - 2011

Access to Document

@inproceedings{4605f5a9d8504565bc116994f100fb3c,

title = "Symbolic Model Checking of Software Product Lines",

author = "Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",

year = "2011",

language = "English",

pages = "321--330",

booktitle = "33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings",

publisher = "ACM Press",

address = "United States",

}

Symbolic Model Checking of Software Product Lines. / Classen, Andreas; Heymans, Patrick ; Schobbens, Pierre-Yves et al.
33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, 2011. p. 321-330.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution