Centrum Wiskunde & Informatica

Interactive visualization of large state spaces Article

International Journal on Software Tools for Technology Transfer, 77-91.

J.F. Groote (Jan Friso) and F. van Ham

January 2006
From μCRL to mCRL2: Motivation and Outline Article

Electronic Notes in Theoretical Computer Science, 191-196.

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), M.J. van Weerdenburg (Muck) and Y.S. Usenko (Yaroslav)

January 2006
A Hierarchy of SOS Rule Formats Article

Electronic Notes in Theoretical Computer Science, 3-25.

J.F. Groote (Jan Friso), M.R. Mousavi and M.A. Reniers (Michel)

January 2006
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones Article

Electronic Notes in Theoretical Computer Science, 197-202.

J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)

January 2006
Preface Proceedings of PDMS 2005 In Proceedings

M. Leucker and J.C. van de Pol (Jaco)

January 2006
What is algebraic in process theory? Article

Electronic Notes in Theoretical Computer Science, 227-231.

S.P. Luttik (Bas)

January 2006
Preface Article

Electronic Notes in Theoretical Computer Science, 1-2.

S. Mauw (Sjouke), V. Issarny and C.J.F. Cremers (Cas)

January 2006
Preface In Proceedings

S. Mauw (Sjouke) and M. Oostdijk

January 2006

Previous

Next