KNAW

Publication

The mCRL2 toolset (2008)

Pagina-navigatie:
Title The mCRL2 toolset
Author Groote, JF Jan Friso; Keiren, JJA Jeroen; Mathijssen, AHJ Aad; Ploeger, SCW Bas; Stappers, FPM Frank; Tankink, C Carst; Usenko, YS Yaroslav; Weerdenburg, van MJ Muck; Wesselink, JW Wieger; Willemse, TAC Tim; Wulp, van der J Jeroen
Date 2008
Publisher s.n.
Rights Copyright (c) Groote, JF Jan Friso; Copyright (c) Keiren, JJA Jeroen; Copyright (c) Mathijssen, AHJ Aad; Copyright (c) Ploeger, SCW Bas; Copyright (c) Stappers, FPM Frank; Copyright (c) Tankink, C Carst; Copyright (c) Usenko, YS Yaroslav ; Copyright (c) Weerdenburg, MJ Muck van; Copyright (c) Wesselink, JW Wieger; Copyright (c) Willemse, TAC Tim
Publication http://repository.tue.nl/667564
Persistent Identifier URN:NBN:NL:UI:25-667564
Metadata XML
Source Eindhoven University of Technology

Go to page top
Go back to contents
Go back to site navigation