Centrum Wiskunde & Informatica

Cost distributions in a symmetric Euclidean traveling salesman problems : asupplement to TSPLIB Tech Report

F. Waas (Florian)

January 1999
Boxenv.sty : a LATEX style file for formatting BOX expressions Tech Report

M. de Jonge (Merijn)

January 1999
Scaling invariance and contingent claim pricing Tech Report

J.K. Hoogland (Jiri) and C.D.D. Neumann

January 1999
A note on the superposition of Markov point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1999
A comparison of Spin and the $ mu $ CRL toolset on HAVi leader election protocol Tech Report

Y.S. Usenko (Yaroslav)

January 1999
Building documentation generators Tech Report

A. van Deursen (Arie) and T. Kuipers (Tobias)

January 1999
Model checking the HAVi leader election protocol Tech Report

J.M.T. Romijn (Judi)

January 1999
Complete axiomatisations of weak-, delay- and $ eta $ -bisimulation for process algebras with alternative quantification over data Tech Report

S.P. Luttik (Bas)

January 1999

Previous

Next