µCRL: A toolset for analysing algebraic specifications (2001)

Cached

Download Links

by Stefan Blom , Wan Fokkink , Jan Friso Groote , Izak van Langevelde , Bert Lisser , Jaco van de Pol
Venue: Proc. 13th Conference on Computer Aided Verification, LNCS 2102
Citations:35 - 17 self