@InProceedings{BKH99,
author={C. Baier and J.-P. Katoen and H. Hermanns },
title={Approximate Symbolic Model Checking of Continuous-Time {M}arkov Chains},
booktitle={Proc. 10th International Conference on Concurrency Theory (CONCUR'99)},
year={1999},

editor={J. Baeten and S. Mauw},
pages={146-161},
organization={},
publisher={Springer},
series={LNCS},
volume={1664},
_address={Eindhoven},
_month={August},
note={},
key={}
}