@InProceedings{DHK13,
author={F. Dannenberg and E. M. Hahn and M. Kwiatkowska},
title={Computing Cumulative Rewards using Fast Adaptive Uniformisation},
booktitle={Proc. 11th Conference on Computational Methods in Systems Biology (CMSB'13)},
year={2013},

editor={A. Gupta and T. Henzinger},
pages={33--49},
organization={},
publisher={Springer},
series={LNCS},
volume={8130},
address={},
month={},
note={},
key={}
}