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
a service of Schloss Dagstuhl - Leibniz Center for Informatics