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
Chicago-Zitierstil (17. Ausg.)Bulychev, Peter, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, und 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.
MLA-Zitierstil (9. Ausg.)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.