Omschrijving
The source code of the 201808.0 release of mCRL2.
| Datum van beschikbaarheid | 2 sep. 2018 |
|---|---|
| Uitgever | Zenodo |
mCRL2 release 201808.0
- Olav Bunte (Bijdrager)
- Jan Friso Groote (Bijdrager)
- Jeroen J.A. Keiren (Bijdrager)
- Maurice Laveaux (Bijdrager)
- Thomas Neele (Bijdrager)
- Erik P. de Vink (Bijdrager)
- J.W. (Wieger) Wesselink (Bijdrager)
- Anton J. Wijs (Bijdrager)
- Tim A.C. Willemse (Bijdrager)
Dataset