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
maintained by Schloss Dagstuhl LZI at University of Trier