Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)
Titel Konferenzpublikation:
Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020
Untertitel Konferenzpublikation:
26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Reihentitel:
Lecture Notes in Computer Science, LNCS
Bandnummer Reihe:
12079
Verlagsort:
Cham, Switzerland
Verlag:
Springer
Jahr:
2020
Seiten von - bis:
378-382
Sprache:
Englisch
ISBN:
978-3-030-45236-0 ; 978-3-030-45237-7
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