Description
The source code of the 201808.0 release of mCRL2.
| Date made available | 2 Sept 2018 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite
mCRL2 release 201808.0
- Olav Bunte (Contributor)
- Jan Friso Groote (Contributor)
- Jeroen J.A. Keiren (Contributor)
- Maurice Laveaux (Contributor)
- Thomas Neele (Contributor)
- Erik P. de Vink (Contributor)
- J.W. (Wieger) Wesselink (Contributor)
- Anton J. Wijs (Contributor)
- Tim A.C. Willemse (Contributor)
Dataset