APA (7th ed.) Citation

Lassaigne, R., & Peyronnet, S. (2008). Probabilistic verification and approximation. Annals of pure and applied logic, 152(1), 122-131. https://doi.org/10.1016/j.apal.2007.11.006

Chicago Style (17th ed.) Citation

Lassaigne, Richard, and Sylvain Peyronnet. "Probabilistic Verification and Approximation." Annals of Pure and Applied Logic 152, no. 1 (2008): 122-131. https://doi.org/10.1016/j.apal.2007.11.006.

MLA (9th ed.) Citation

Lassaigne, Richard, and Sylvain Peyronnet. "Probabilistic Verification and Approximation." Annals of Pure and Applied Logic, vol. 152, no. 1, 2008, pp. 122-131, https://doi.org/10.1016/j.apal.2007.11.006.