Manual for the $ mu CRL $ tool set (version 2.8.2)

The specification language $mu$CRL and a tool set for manipulation, optimisation and state space generation are described.

Additional Metadata
ACM	REFERENCE (acm A.2), Design Tools and Techniques (acm D.2.2), Software/Program Verification (acm D.2.4), Specifying and Verifying and Reasoning about Programs (acm F.3.1)
MSC	General reference works (handbooks, dictionaries, bibliographies, etc.) (msc 68-00), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30), Specification and verification (program logics, model checking, etc.) (msc 68Q60), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
Publisher	CWI
Series	Software Engineering [SEN]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Wouters, A. G. (2001). Manual for the $ mu CRL $ tool set (version 2.8.2). Software Engineering [SEN]. CWI.

Publication