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