109 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2012

Cite this

@misc{52ac88cfd97f42a4860d00ce4090d3c6,
title = "Model Checking for Software Product Lines with SNIP",
author = "Andreas Classen and Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens",
year = "2012",
language = "English",
type = "Other",

}

TY - GEN

T1 - Model Checking for Software Product Lines with SNIP

AU - Classen, Andreas

AU - Cordy, Maxime

AU - Heymans, Patrick

AU - Legay, Axel

AU - Schobbens, Pierre-Yves

PY - 2012

Y1 - 2012

M3 - Other contribution

ER -