APA-Zitierstil (7. Ausg.)

(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-Zitierstil (17. Ausg.)

"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-Zitierstil (9. Ausg.)

"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.