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 1998
-
Discrete time process algebra and the semantics of SDL Tech Report
J.A. Bergstra (Jan), C.A. Middelburg and Y.S. Usenko (Yaroslav)
January 1998
-
Normed simulations In Proceedings
January 1998 -
3D multigrid on partially ordered sets of grids In Proceedings
January 1998 -
A defect correction method for parabolic singular perturbation problems on a rectangle In Proceedings
P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina
January 1998 -
Brine transport in porous media: on the use of von Mises and similarity transformations Article
Computational Geosciences, 2(2), 125-149.January 1998
-
Checking verifications of protocols and distributed systems by computer In Proceedings
J.F. Groote (Jan Friso), F. Monin and J.C. van de Pol (Jaco)
January 1998 -
Computing distances between evolutionary trees Book Chapter
B. DasGupta (Bhaskar), X. He (Xin), T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and L. Zhang (Louxin)
January 1998