Safer Parallelization
Hähnle, Reiner ; Tabar, Asmae Heydari ; Heydari Tabar, Asmae
; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2020 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-61470-6 ISSN: 0302-9743 KITopen-ID: 1000181397 |
| Erschienen in | Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II Hrsg.: Margaria, Tiziana; Steffen, Bernhard |
| Veranstaltung | 9th International Symposium on Leveraging Applications of Formal Methods (2020), Rhodos, Griechenland, 20.10.2020 – 30.10.2020 |
| Verlag | Springer International Publishing |
| Seiten | 117–137 |
| Serie | Lecture Notes in Computer Science (LNCS) : Programming and Software Engineering (LNPSE) ; 12477 |
| Vorab online veröffentlicht am | 27.10.2020 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus OpenAlex Dimensions |