Bulychev, P., David, A., Larsen, K. G., Mikučionis, M., & Legay, A. (2011). Distributed Parametric and Statistical Model Checking. Electronic proceedings in theoretical computer science, 72(Proc. PDMC 2011), 30-42. https://doi.org/10.4204/EPTCS.72.4
Citácia podle Chicago (17th ed.)Bulychev, Peter, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, a Axel Legay. "Distributed Parametric and Statistical Model Checking." Electronic Proceedings in Theoretical Computer Science 72, no. Proc. PDMC 2011 (2011): 30-42. https://doi.org/10.4204/EPTCS.72.4.
Citácia podľa MLA (8th ed.)Bulychev, Peter, et al. "Distributed Parametric and Statistical Model Checking." Electronic Proceedings in Theoretical Computer Science, vol. 72, no. Proc. PDMC 2011, 2011, pp. 30-42, https://doi.org/10.4204/EPTCS.72.4.