@inproceedings{CDK12,
  title = "Model Checking Stochastic Branching Processes",
  author = "T. Chen and K. Dr\"{a}ger and S. Kiefer",
  year = "2012",
  booktitle = "Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS)",
  publisher = "Springer",
  series = "LNCS",
  volume = "7464",
}