Family-Based Model Checking of SPL based on mCRL2.

Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse

Browse the full SPLC paper archive.