CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Infinite-Dimensional Linear Systems Theory Book Chapter
January 1996 -
Analysis on Lie Groups Book Chapter
January 1996 -
January 1996 -
Singularity Theory Book Chapter
January 1996 -
The Moduli Project, 1981-1988 Book Chapter
January 1996 -
Instuitionistic Logic and Topos Theory Book Chapter
January 1996