Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. Towards an incremental automata-based approach for software product-line model checking. In Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, editors, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2. pages 74-81, ACM, 2012. [doi]
Abstract is missing.