Model checking software product lines with SNIP

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. Model checking software product lines with SNIP. STTT, 14(5):589-612, 2012. [doi]

Abstract

Abstract is missing.