For more details see http://www.mcrl2.org
This project aims to provide up-to date packages of the mCRL2 model checker for Ubuntu.

Team details

Email:
Log in for email information.
Owner:
Jeroen Keiren
Created on:
2011-03-09
Languages:
English
Membership policy:
Moderated Team

All members

You must log in to join or leave this team.

Personal package archives

Mailing list

This team does not use Launchpad to host a mailing list.