Chen, T., Dräger, K., & Kiefer, S. (2012). Model Checking Stochastic Branching Processes. Springer.

Chen, T., K. Dräger, and S. Kiefer. Model Checking Stochastic Branching Processes. Springer, 2012.

Chen, T., et al. Model Checking Stochastic Branching Processes. Springer, 2012.