Model Checking for Software Product Lines with SNIP
Authors
Andreas Classen, Arnaud Hubaux, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Maxime Cordy
Publication date
2008
Journal
Int. J. of Tech. Transfer
Total citations
2010201120122013201420152016201720182019202020212022202320242124447383527303626191314611
Scholar articles
A Classen, P Heymans, PY Schobbens, A Legay - Proceedings of the 33rd International Conference on …, 2011
A Classen, M Cordy, P Heymans, A Legay… - International Journal on Software Tools for Technology …, 2012