Johnsen, E. B., Kamburjan, E., Pardo, R., Voogd, E., & Wąsowski, A. (2024). Towards a Proof System for Probabilistic Dynamic Logic.
Style de citation Chicago (17e éd.)Johnsen, Einar Broch, Eduard Kamburjan, Raúl Pardo, Erik Voogd, et Andrzej Wąsowski. Towards a Proof System for Probabilistic Dynamic Logic. 2024.
Style de citation MLA (9e éd.)Johnsen, Einar Broch, et al. Towards a Proof System for Probabilistic Dynamic Logic. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.