Published September 2, 2018
| Version 201808.0
Software
Open
mCRL2 release 201808.0
Creators
- 1. Eindhoven University of Technology
Description
The source code of the 201808.0 release of mCRL2.
Files
Files
(17.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d32199e879f441538af23ddd6eb68a13
|
17.7 MB | Download |