CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Moa: extensibility and efficiency in querying nested data Tech Report
M. van Keulen, J. Vonk, A.P. de Vries (Arjen), J. Flokstra and H.E. Blok (Henk Ernst)
January 2002 -
Refinement and Verification Applied to an In-flight Data Acquisitation Unit In Proceedings
W.J. Fokkink (Wan), N. Ioustinova (Natalia), E. Kesseler, J.C. van de Pol (Jaco), Y.S. Usenko (Yaroslav) and Y. Yushtein (Yuri)
January 2002 -
State Space Reduction by Proving Confluence In Proceedings
January 2002 -
State space generation for the HAVi leader election protocol Article
Science of Computer Programming, 43(1), 1-33.January 2002
-
January 2002
-
January 2002
-
January 2002
-
The lowest crossing in 2D critical percolation Tech Report
January 2002