Centrum Wiskunde & Informatica

Preface Proceedings of PDMS 2005 In Proceedings

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

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
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
Aspects of goal-oriented model-error estimation in convection-diffusion problems In Proceedings

J. M. Cnossen (Jelmer), H. Bijl, M.I. Gerritsma and B. Koren (Barry)

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
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
Some Remarks on Definability of Process Graphs In Proceedings

C.A. Grabmayer, J.W. Klop (Jan Willem) and S.P. Luttik (Bas)

January 2006
Zoekende vingers van de bliksem Book Chapter

U. Ebert (Ute)

January 2006

Previous

Next