Towards an incremental automata-based approach for software product-line model checking

• Autores: Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
• Localización: 16th International Software Product Line Conference, SPLC´12 / coord. por Eduardo Santana de Almeida, Christa Schwanninger, David Benavides , Vol. 2, 2012, ISBN 9781450310956, págs. 74-81
• Idioma: inglés
• Texto completo no disponible (Saber más ...)