Centrum Wiskunde & Informatica

A computer-checked verification of Milner's scheduler Tech Report

H.P. Korver and J.G. Springintveld

January 1993
Detecting feature interacties with Caesar/Aldébaran Tech Report

H.P. Korver

January 1993
A comparison of additivity axioms in timed transition systems Tech Report

A.S.A. Jeffrey, S.A. Schneider (Steve) and F.W. Vaandrager (Frits)

January 1993
A hierarchical highway recognition from satellite images Tech Report

M. Haindl, A. Gagalowicz and B. Jedynak

January 1993
Stochastic realization of a Gaussian stochastic control system Tech Report

J.H. van Schuppen (Jan)

January 1993
Multiservers queues with impatient customers Tech Report

O.J. Boxma (Onno) and P.R. de Waal

January 1993
The p-q-r-medial axis algorithm requires only local operations Tech Report

P. F. M. Nacken (Peter)

January 1993
Quantum homogeneous spaces, duality, and quantum 2-spheres Tech Report

M. Dijkhuizen and T.H. Koornwinder

January 1993

Previous

Next