Παραπομπή σε μορφή APA (7η εκδ.)

Chodil, M., & Kučera, A. (2026). The Finite Satisfiability Problem for PCTL is Undecidable. Journal of the ACM, 73(1), 1-30. https://doi.org/10.1145/3787496

Παραπομπή σε μορφή Chicago (17η εκδ.)

Chodil, Miroslav, και Antonín Kučera. "The Finite Satisfiability Problem for PCTL Is Undecidable." Journal of the ACM 73, no. 1 (2026): 1-30. https://doi.org/10.1145/3787496.

Παραπομπή σε μορφή MLA (9th εκδ.)

Chodil, Miroslav, και Antonín Kučera. "The Finite Satisfiability Problem for PCTL Is Undecidable." Journal of the ACM, vol. 73, no. 1, 2026, pp. 1-30, https://doi.org/10.1145/3787496.