Chen, T., Dräger, K., & Kiefer, S. (2012). Model Checking Stochastic Branching Processes. Springer.
Dyfyniad Arddull ChicagoChen, T., K. Dräger, and S. Kiefer. Model Checking Stochastic Branching Processes. Springer, 2012.
Dyfyniad MLAChen, T., et al. Model Checking Stochastic Branching Processes. Springer, 2012.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.