Publication
-
The Quest for Correctness Book Chapter
January 1996 -
Mathematical Statistics: Fringe of Frontier? Book Chapter
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 -
Infinite-Dimensional Linear Systems Theory Book Chapter
January 1996