@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={} }