Family-Based SPL Model Checking Using Parity Games with Variability.

Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse

Browse the full FASE paper archive.