@InProceedings{BCHG+97,
author={C. Baier and E. Clarke and V. Hartonas-Garmhausen and M. Kwiatkowska and M. Ryan},
title={Symbolic Model Checking for Probabilistic Processes},
booktitle={Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97)},
year={1997},

editor={P. Degano and R. Gorrieri and A. Marchetti-Spaccamela},
pages={430--440},
organization={},
publisher={Springer},
series={LNCS},
volume={1256},
address={},
_month={April},
note={},
key={}
}