@InProceedings{BdA95,
author={A. Bianco and L. de Alfaro},
title={Model Checking of Probabilistic and Nondeterministic Systems},
booktitle={Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science},
year={1995},

editor={P. Thiagarajan},
pages={499--513},
organization={},
publisher={Springer},
series={LNCS},
volume={1026},
address={},
month={},
note={},
key={}
}