Electronic Notes in Theoretical Computer Science, Volume 22

Volume 22, 1999

PROBMIV'98 First International Workshop on Probabilistic Methods in Verification
Indianapolis, Indiana, USA, 19-20 June 1998
maintained by Schloss Dagstuhl LZI at University of Trier