CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A Deductive Proof System for Multithreaded Java with Exceptions Article
Fundamenta Informaticae, 82(4)F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen
January 2008 -
Model-checking agent refinement In Proceedings
January 2008 -
January 2008
-
Autonomous Scheduling In Proceedings
C. Yadati, C. Witteveen (Cees), Y.Q. Zhang (Yingqian (Jennie)), M. Wu (Mengxiao) and J.A. La Poutré (Han)
January 2008 -
A multi-agent platform for auction-based allocation of loads in transportation logistics (Demonstration Paper) In Proceedings
H. Noot (Han), V. Robu (Valentin), J.A. La Poutré (Han) and W.-J. van Schijndel
January 2008 -
De AERA. Gedroomde machines en de praktijk van het rekenwerk aan het Mathematisch Centrum te Amsterdam Article
Studium, 101-127.January 2008
-
A new method for approximating the variance of the sojourn times in star-shaped queueing networks Article
Stochastic Models, 1-15.R.D. van der Mei (Rob), A.R. de Wilde (Arald) and S. Bhulai (Sandjai)
January 2008
-
January 2008