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; Usenko, YS (Yaroslav); Weerdenburg, van MJ (Muck); Wesselink, JW (Wieger); Willemse, TAC (Tim); Wulp, van der J
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; 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
Repository Eindhoven University of Technology

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