Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)
Title of conference publication:
Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of conference publication:
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
Series title:
Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues
Series volume:
12652
Conference title:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (27., 2021, Luxemburg, Luxemburg)
Venue:
(Stadt) Luxemburg
Year of conference:
2021
Date of conference beginning:
27.03.2021
Date of conference ending:
01.04.2021
Place of publication:
Cham
Publisher:
Springer
Year:
2021
Pages from - to:
428-432
Language:
Englisch
ISBN:
978-3-030-72012-4 ; 978-3-030-72013-1
Department:
Fakultät für Informatik
Institute:
INF 6 - Institut für Systemsicherheit
Chair:
Kinder, Johannes
Research Hub UniBw M:
CODE
Open Access yes or no?:
Ja / Yes
Type of OA license:
CC BY 4.0
Licence URL:
BibTeX