SNIP: An Efficient Model Checker for Software Product Lines

Research output: Other contribution

257 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Cite this

@misc{5e499c3b72a444bf980f19000a63fa60,
title = "SNIP: An Efficient Model Checker for Software Product Lines",
author = "Andreas Classen and Maxime Cordy and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",
year = "2011",
language = "English",
type = "Other",

}

TY - GEN

T1 - SNIP: An Efficient Model Checker for Software Product Lines

AU - Classen, Andreas

AU - Cordy, Maxime

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

PY - 2011

Y1 - 2011

M3 - Other contribution

ER -