The mCRL2 toolset

J.F. Groote, J.J.A. Keiren, A.H.J. Mathijssen, B. Ploeger, F.P.M. Stappers, C. Tankink, Y.S. Usenko, M.J. Weerdenburg, van, J.W. Wesselink, T.A.C. Willemse, J. Wulp, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Fingerprint Dive into the research topics of 'The mCRL2 toolset'. Together they form a unique fingerprint.

Engineering & Materials Science