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 1996 -
The Quest for Correctness Book Chapter
January 1996 -
January 1996 -
The Many Faces of Computer Science Book Chapter
January 1996 -
Polynomial Splines in Two Variables Book Chapter
January 1996 -
Ergodic Theory Book Chapter
January 1996 -
Forward and backward simulations II. Timing-based systems Article
Information and Computation, 128(1), 1-25.January 1996 -
Markov Decision Chains Book Chapter
January 1996