Proc. International Workshop on Advanced Software Development Tools and Techniques
Modelling and Verification of Business Processes
International Workshop on Advanced Software Development Tools and Techniques
Visualization and 3D User Interfaces

Groote, J. F., Keiren, J. J. A., Mathijssen, A., Ploeger, S. C. W., Stappers, F. P. M., Tankink, C., … van der Wulp, J. (2008). The mCRL2 Toolset. In Proc. International Workshop on Advanced Software Development Tools and Techniques.