Chen, T., Dräger, K., & Kiefer, S. (2012). Model Checking Stochastic Branching Processes. Springer.
Citação norma ChicagoChen, T., K. Dräger, and S. Kiefer. Model Checking Stochastic Branching Processes. Springer, 2012.
Citação norma MLAChen, T., et al. Model Checking Stochastic Branching Processes. Springer, 2012.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.