@InProceedings{ASSB96,
author={A. Aziz and K. Sanwal and V. Singhal and R. Brayton},
title={Verifying Continuous Time {M}arkov Chains},
booktitle={Proc. 8th International Conference on Computer Aided Verification (CAV'96)},
year={1996},

editor={R. Alur and T. Henzinger},
pages={269--276},
organization={},
publisher={Springer},
series={LNCS},
volume={1102},
address={},
_month={July},
note={},
key={}
}