@inproceedings{dblp-conf-qest-trivediw10,
  title = {Timed Branching Processes},
  author = {Ashutosh Trivedi and Dominik Wojtczak},
  year = {2010},
  url = {https://dblp.org/rec/conf/qest/TrivediW10},
  booktitle = {QEST 2010}
}