Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

On the Verification of the Correctness of a Subgraph Construction Algorithm.

VMCAI (1). 2024 S. 303 - 325

Erscheinungsjahr: 2024

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1007/978-3-031-50524-9_14

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Böltz, Lucas (Autor)
Sofronie-Stokkermans, Viorica (Autor)
Frey, Hannes (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik