The mCRL2 philosophy
The mCRL2 philosophy. Jan Friso Groote, Jeroen Keiren, Aad Mathijssen, Bas Ploeger, Michel Reniers, Frank Stappers, Carst Tankink, Yaroslav Usenko, Muck van Weerdenburg, Jeroen van der Wulp, Hubert Garavel . J.F.Groote@tue.nl www.win.tue.nl/~jfg.
274 views • 11 slides