APA (7th ed.) Citation

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 Style (17th ed.) Citation

Bulychev, Peter, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, and 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 (9th ed.) Citation

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.