Centrum Wiskunde & Informatica

Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Journal of Logic and Algebraic Programming, 65(2), 51-104.

A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al

January 2005
Distributed state space minimization Article

International Journal on Software Tools for Technology Transfer, 7(3), 280-291.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
A distributed algorithm for strong bisimulation reduction of state spaces Article

International Journal on Software Tools for Technology Transfer, 7(1), 74-86.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Proceedings of the International Conference on Very Large Data Bases Proceedings

January 2005
Reliability tests for the xcg and inex-2002 metrics In Proceedings

G. Kazai, M. Lalmas and A.P. de Vries (Arjen)

January 2005
Relevance information: A loss of entropy but a gain for idf? In Proceedings

A.P. de Vries (Arjen) and T. Roelleke

January 2005
MonetDB: optimal and dynamic Magazine Article

M.L. Kersten (Martin)

January 2005
MonetDB keert een DBMS binnenste-buiten Magazine Article

M.L. Kersten (Martin)

January 2005

Previous

Next