A State-of-the-Art Karp-Miller Algorithm Certified in Coq.
In: TACAS (1); (2024) S. 370-389
Konferenz
Zugriff:
Titel: |
A State-of-the-Art Karp-Miller Algorithm Certified in Coq.
|
---|---|
Autor/in / Beteiligte Person: | Hilaire, Thibault ; Ilcinkas, David ; Leroux, Jérôme |
Link: | |
Quelle: | TACAS (1); (2024) S. 370-389 |
Veröffentlichung: | 2024 |
Medientyp: | Konferenz |
DOI: | 10.1007/978-3-031-57246-3_21 |
Sonstiges: |
|