@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},
  pages     = {33--49},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {8310},
  note      = {},
}