Platzer, A., & Qian, L. (2025). Axiomatization of Compact Initial Value Problems: Open Properties. Journal of the ACM, 72(6), 1. https://doi.org/10.1145/3763228
Chicago Style (17th ed.) CitationPlatzer, André, and Long Qian. "Axiomatization of Compact Initial Value Problems: Open Properties." Journal of the ACM 72, no. 6 (2025): 1. https://doi.org/10.1145/3763228.
MLA (9th ed.) CitationPlatzer, André, and Long Qian. "Axiomatization of Compact Initial Value Problems: Open Properties." Journal of the ACM, vol. 72, no. 6, 2025, p. 1, https://doi.org/10.1145/3763228.
Warning: These citations may not always be 100% accurate.