Centrum Wiskunde & Informatica

Three logics for branching bisimulation Article

Journal of the Association for Computing Machinery, 42(2), 458-487.

R. de Nicola and F.W. Vaandrager (Frits)

January 1995
Action-angle Maps and Scattering Theory for Some Finite-dimensional Integrable Systems III. Sutherland Type Systems and their Duals Article

Publications of the Research Institute for Mathematical Sciences, 31(2), 247-353.

S.N.M. Ruijsenaars (Simon)

January 1995
Twentieth conference on the mathematics of operations research, and: Sixth international workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren, 10-12.01.1995 Booklet

January 1995
Queueing models with dependence structures Dissertation

M.B. Combé (Marco)

January 1995
Bibliotheek CWI gids = CWI Library guide Booklet

February 1995
Uitnodiging symposium ter gelegenheid van het 25-jarig MC-jubileum van Piet Hemker Other

February 1995
New trends in applied mathematics Article

CWI Quarterly, 8(1), 3-29.

A. Bensoussan

March 1995
Generation of program analysis tools Dissertation

Software Engineering

F. Tip (Frank)

March 1995

Previous

Next