Family-Based Model Checking with mCRL2.

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

Browse the full FASE paper archive.