Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)
Titel Konferenzpublikation:
Tools and Algorithms for the Construction and Analysis of Systems
Untertitel Konferenzpublikation:
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Reihentitel:
Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues
Bandnummer Reihe:
12652
Konferenztitel:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (27., 2021, Luxemburg, Luxemburg)
Tagungsort:
(Stadt) Luxemburg
Jahr der Konferenz:
2021
Datum Beginn der Konferenz:
27.03.2021
Datum Ende der Konferenz:
01.04.2021
Verlagsort:
Cham
Verlag:
Springer
Jahr:
2021
Seiten von - bis:
428-432
Sprache:
Englisch
ISBN:
978-3-030-72012-4 ; 978-3-030-72013-1
URL zum Inhalt:
Fakultät:
Fakultät für Informatik
Institut:
INF 6 - Institut für Systemsicherheit
Professur:
Kinder, Johannes
(Forschungs)einrichtung UniBw M:
CODE
Open Access ja oder nein?:
Ja / Yes
Art der OA-Lizenz:
CC BY 4.0
URL zur Lizenz:
BibTeX