Views
User manual
From MCRL2
| User manual |
Welcome to the mCRL2 User manual. The manual can be browsed using the navigation menu on the right and the links on the bottom of the page.
It is also possible to view the entire manual on a single page.
What version of the toolset does this manual apply to?
This online version of the manual always applies to the most recent development version of the mCRL2 toolset.
What about release-specific versions of the manual?
As of July 2008, release-specific versions of the manual are distributed with the release in PDF format. These versions are also available for download here. See the following table for an overview.
| Release | File |
|---|---|
| July 2010 | User_manual-201007.pdf 
|
| January 2010 | User_manual-201001.pdf
|
| January 2009 | User_manual-200901.pdf
|
| July 2008 | User_manual-200807.pdf
|
Introduction 
|
This page was last modified on 30 August 2010, at 08:43. This page has been accessed 8,991 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
