@inproceedings{KNS01b,
author={M. Kwiatkowska and G. Norman and J. Sproston},
title={Symbolic computation of maximal probabilistic reachability},
booktitle={Proc. 13th International Conference on Concurrency Theory (CONCUR'01)},
year={2001},

editor={K. Larsen and M. Nielsen},
pages={169--183},
organization={},
publisher={Springer},
series={LNCS},
volume={2154},
month={},
note={},
key={}
}