The following publications are possibly variants of this publication:
- Experiences in developing the mCRL2 toolsetJan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse. SPE, 41(2):143-153, 2011. [doi]
- Modelling and Analysing Software in mCRL2Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse. facs2 2020: 25-48 [doi]
- The Formal Specification Language mCRL2Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg. Dagstuhl 2007: [doi]
- Dogfooding the Formal Semantics of mCRL2Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote. sew 2012: 90-99 [doi]
- Tutorial: Designing Distributed Software in mCRL2Jan Friso Groote, Jeroen J. A. Keiren. forte 2021: 226-243 [doi]
- Formalising the Dezyne Modelling Language in mCRL2Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse. fmics 2017: 217-233 [doi]
- Verification of networks of timed automata using mCRL2Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko. ipps 2008: 1-8 [doi]
- An Overview of the mCRL2 Toolset and Its Recent AdvancesSjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse. TACAS 2013: 199-213 [doi]