de Pol, J.C.: CRL: A toolset for analysing algebraic specifications (0)

by S Blom, W J Fokkink, J F Groote, I van Langevelde, B Lisser, van
Venue:Computer Aided Verification, 13th International Conference, CAV 2001