@InProceedings{ZHHW08,
author={L. Zhang and H. Hermanns and E. M. Hahn and B. Wachter},
title={Time-bounded model checking of infinite-state continuous-time {Markov} chains},
booktitle={Proc. 8th International Conference on Application of Concurrency to System Design (ACSD'08)},
year={2008},

editor={},
pages={98-107},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}