Correnson, A., & Finkbeiner, B. (2025). Coinductive Proofs for Temporal Hyperliveness. Proceedings of ACM on programming languages, 9(POPL), 1568-1595. https://doi.org/10.1145/3704889
Citácia podle Chicago (17th ed.)Correnson, Arthur, a Bernd Finkbeiner. "Coinductive Proofs for Temporal Hyperliveness." Proceedings of ACM on Programming Languages 9, no. POPL (2025): 1568-1595. https://doi.org/10.1145/3704889.
Citácia podľa MLA (8th ed.)Correnson, Arthur, a Bernd Finkbeiner. "Coinductive Proofs for Temporal Hyperliveness." Proceedings of ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 1568-1595, https://doi.org/10.1145/3704889.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..