Chen, T., Dräger, K., & Kiefer, S. (2012). Model Checking Stochastic Branching Processes. Springer.
Lua i Stíl Chicago (17ú heag.)Chen, T., K. Dräger, agus S. Kiefer. Model Checking Stochastic Branching Processes. Springer, 2012.
Lua MLA (9ú heag.)Chen, T., et al. Model Checking Stochastic Branching Processes. Springer, 2012.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.