Journal of Logic and Algebraic Programming, Volume 56

Volume 56, Number 1-2, May - August 2003

Probabilistic Techniques for the Design and Analysis of Systems