(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
Citace podle Chicago (17th ed.)"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.
Citace podle MLA (9th ed.)"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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..