Cita APA (7a ed.)

Ye, K., Woodcock, J., & Foster, S. (2023). Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving.

Cita Chicago Style (17a ed.)

Ye, Kangfeng, Jim Woodcock, y Simon Foster. Probabilistic Unifying Relations for Modelling Epistemic and Aleatoric Uncertainty: Semantics and Automated Reasoning with Theorem Proving. 2023.

Cita MLA (9a ed.)

Ye, Kangfeng, et al. Probabilistic Unifying Relations for Modelling Epistemic and Aleatoric Uncertainty: Semantics and Automated Reasoning with Theorem Proving. 2023.