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-Zitierstil (17. Ausg.)Lassaigne, Richard, und 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-Zitierstil (9. Ausg.)Lassaigne, Richard, und 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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.