SNIP: An Efficient Model Checker for Software Product Lines

Andreas Classen, Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Research output: Other contribution

261 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Cite this