Publication

An efficient algorithm for branching bisimulation and stuttering equivalence Tech Report

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

On a local limit theorem for lattice distribution Tech Report

N.G. Gamkrelidze

Minimality of descriptor representations under external equivalence Tech Report

M. Kuijper and J.M. Schumacher (Hans)

Minimizing maximum earliness and maximum lateness on a single machine Tech Report

J.A. Hoogeveen

Uniform asymptotic approximation of Fermi-Dirac integrals Tech Report

N.M. Temme (Nico) and A.B. Olde Daalhuis

Multi-media research at CWI: goals and objectives Tech Report

D.C.A. Bulterman (Dick)

Multigrid and defect correction for the steady Navier-Stokes equations Article

B. Koren (Barry)

Activiteiten 1990/1991 op het gebied van de tweede fase onderzoeksopleiding wiskunde Book