Kofnov, A., Moosbrugger, M., Stankovič, M., Bartocci, E., & Bura, E. (2022). Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.
Cita Chicago Style (17a ed.)Kofnov, Andrey, Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, y Efstathia Bura. Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. 2022.
Cita MLA (9a ed.)Kofnov, Andrey, et al. Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. 2022.
Precaución: Estas citas no son 100% exactas.