(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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.