@InProceedings{KKNP01,
author={J.-P. Katoen and M. Kwiatkowska and G. Norman and D. Parker},
title={Faster and Symbolic {CTMC} Model Checking},
booktitle={Proc. 1st Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'01)},
year={2001},

editor={L. de Alfaro and S. Gilmore},
pages={23--38},
organization={},
publisher={Springer},
series={LNCS},
volume={2165},
address={},
_month={September},
note={},
key={}
}