Centrum Wiskunde & Informatica

The open inventor toolkit and the PREMO standard Tech Report

D. Wang (Da), I. Herman (Ivan) and G.J. Reynolds

January 1996
Minimal sorts for interpreting pictures Tech Report

H. Zeevat and D. Wang (Da)

January 1996
Industrial applications of ASF+SDF Tech Report

M.G.J. van den Brand (Mark), A. van Deursen (Arie), P. Klint (Paul), A.S. Klusener (Steven) and E.A. van der Meulen (Emma)

January 1996
Reusability of coordination programs Tech Report

F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

January 1996
A verification of the bakery protocol combining algebraic and model-oriented techniques Tech Report

C. Brovedani and A.S. Klusener (Steven)

January 1996
Compact dynamisch busstation [Compact dynamic bus station] Tech Report

A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

January 1996
Special solutions of the quantum Yang-Baxter equation Tech Report

N.W. van den Hijligenberg

January 1996
Homogeneous behaviors Tech Report

M.S. Ravi, J. Rosenthal and J.M. Schumacher (Hans)

January 1996

Previous

Next