CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2000
-
January 2000
-
Branching time and orthogonal bisimulation equivalence Tech Report
J.A. Bergstra (Jan), A. Ponse (Alban) and M.B. van der Zwaag
January 2000
-
Improving approximate matrix factorizations for implicit time integration in air pollution modelling Tech Report
January 2000
-
January 2000
-
Cuypers : a semi-automatic hypermedia generation system Tech Report
J.R. van Ossenbruggen (Jacco), F.J. Cornelissen, J.P.T.M. Geurts (Joost), L. Rutledge (Lloyd) and L. Hardman (Lynda)
January 2000
-
Integrating multimedia characteristics in web-based document languages Tech Report
J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and L. Rutledge (Lloyd)
January 2000
-
Dimensioning large call centers Tech Report
January 2000