mCRL: A toolset for analysing algebraic specifications (0)

by S C C Blom, W Fokkink, J F Groote, I van Langevelde, B Lisser, J C van de Pol
Venue:Proceedings of CAV’01, volume 2102 of LNCS