A structural characterisation of product form stochastic Petri nets Tech Report

R.J. Boucherie (Richard) and M. Sereno

Product forms based on backward traffic equations Tech Report

R.J. Boucherie (Richard)

Bibliotheek CWI gids = CWI Library guide Booklet

A set of algorithms for the incomplete gamma functions Article

N.M. Temme (Nico)

Programmverifikation: Sequentielle, parallele und verteilte programme Book

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

From universal morphisms to megabytes: A Baayen space odyssey Book

Discrete approximation of parabolic PDE's with a discontinuous initial condition Article

P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

Approximation methods for n-component solute transport and ion-exchange Article

P.M.C. Thoolen and P.W. Hemker (Piet)