µCRL: A Toolset for Analysing Algebraic Specifications.

Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Browse the full CAV paper archive.