@inproceedings{fase17, author = {Beek, M.H. ter and Vink, E.P. de and Willemse, T.A.C.}, title = {Family-Based Model Checking with {mCRL2}}, pages = {387--405}, editor = {M. Huismand and J. Rubin}, booktitle = {FASE 2017, Uppsala, April 22--29, 2017}, publisher = {LNCS 10202}, year = {2017}, doi = {10.1007/978-3-662-54494-5\_23} }