Andreas Classen, Patrick Heymans, Pierre Yves Schobbens, Axel Legay. Symbolic model checking of software product lines. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 321-330, ACM, 2011. [doi]
Abstract is missing.