Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou. Model Checking Feature Interactions. In Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen, editors, Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Volume 586 of Communications in Computer and Information Science, pages 307-325, Springer, 2015. [doi]
Abstract is missing.