µCRL: A Toolset for Analysing Algebraic Specifications (2001)

by S C C Blom, W J Fokkink, J F Groote, I van Langevelde, B Lisser, J C van de Pol
Venue:In Proceedings 13th Conference on Computer Aided Verification (CAV2001