Camille Salinesi, Colette Rolland, Raúl Mazo. VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. In David Benavides, Andreas Metzger, Ulrich W. Eisenecker, editors, Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings. Volume 29 of ICB Research Report, pages 173-176, Universität Duisburg-Essen, 2009. [doi]
Abstract is missing.