CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2005
-
January 2005
-
Definition of methods for automated test generation for TTCN3 based test systems Tech Report
J.R. Calamé (Jens), Z. Ru Dai, N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and R. Swinkels
January 2005 -
Generalized Semantics-to-Document Derivation Magazine Article
L. Rutledge (Lloyd), M. Alberink, L. Hardman (Lynda) and M. Veenstra
January 2005
-
January 2005
-
January 2005
-
From $\mu$ crl to mcrl2 In Proceedings
J.F. Groote (Jan Friso), M.J. van Weerdenburg (Muck), A.H.J. Mathijssen (Aad) and Y.S. Usenko (Yaroslav)
January 2005 -
Reflections on a geometry of processes In Proceedings
C.A. Grabmayer, J.W. Klop (Jan Willem) and S.P. Luttik (Bas)
January 2005