Planned intervention: On Tuesday March 18th 06:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.

Published September 2, 2018 | Version 201808.0

Software Open

mCRL2 release 201808.0

1. Eindhoven University of Technology

The source code of the 201808.0 release of mCRL2.

Files

Files (17.7 MB)

Name	Size	Download all
mCRL2-mcrl2-201808.0.tar.gz md5:d32199e879f441538af23ddd6eb68a13	17.7 MB	Download

327

Views

132

Downloads

Show more details

	All versions	This version
Views	327	326
Downloads	132	132
Data volume	2.4 GB	2.4 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Technical metadata

Created: February 1, 2019
Modified: January 25, 2020