@InProceedings{CDKM11,
author={T. Chen and M. Diciolla and M. Kwiatkowska and A. Mereacre},
title={Time-Bounded Verification of {CTMCs} against Real Time Specifications},
booktitle={Proc. 8th International Conference, Formal Modeling and Analysis of Timed Systems},
year={2011},

editor={},
pages={26--42},
organization={},
publisher={Springer},
series={LNCS},
volume={6919},
address={},
month={},
note={},
key={}
}