(2024). A State-of-the-Art Karp-Miller Algorithm Certified in Coq. Tools and Algorithms for the Construction and Analysis of Systems, 14570, . https://doi.org/10.1007/978-3-031-57246-3_21
Chicago Style (17th ed.) Citation"A State-of-the-Art Karp-Miller Algorithm Certified in Coq." Tools and Algorithms for the Construction and Analysis of Systems 14570 (2024). https://doi.org/10.1007/978-3-031-57246-3_21.
MLA (9th ed.) Citation"A State-of-the-Art Karp-Miller Algorithm Certified in Coq." Tools and Algorithms for the Construction and Analysis of Systems, vol. 14570, 2024, https://doi.org/10.1007/978-3-031-57246-3_21.
Warning: These citations may not always be 100% accurate.