@Book{Pro98,
editor={C. Baier and M. Huth and M. Kwiatkowska and M. Ryan},
title={PROBMIV'98, First International Workshop on Probabilistic Methods in Verification},
publisher={Elsevier},
year={1999},

volume={22},
series={Electronic Notes in Theoretical Computer Science},
address={},
edition={},
month={},
note={},
key={}
}