Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities.

Mahsa Varshosaz, Ramtin Khosravi

Browse the full APSEC paper archive.