Blueprint workload

This page lists the specifications that mCRL2 is expected to work on, or is its creator.

mCRL2 is not currently responsible for any specifications that meet your criteria.

Team member workload

The following people are all members of the mCRL2 team in Launchpad. We list each of their specification workloads so that you can get a sense of the overall workload balance.

Jeroen Keiren has no outstanding specifications.

Maurice Laveaux has no outstanding specifications.

Sjoerd Cranen has no outstanding specifications.

Wieger Wesselink has no outstanding specifications.