Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, et al.. Simulation-Based Abstractions for Software Product-Line Model Checking. Martin Glinz and Gail Murphy and Mauro Pezze.
ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, 2012,
〈10.1109/ICSE.2012.6227150〉.
〈hal-01087659〉