TITLE     : Family-based model checking with mCRL2
AUTHOR(S) : Ter Beek M H, De Vink E P, Willemse T A
TYPE      : Conference article
YEAR      : 2017
CODE      : 368771

*** DO NOT EDIT THIS FILE ***