TU Darmstadt / ULB / TUbiblio

Safer Parallelization

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Editors: Margaria, Tiziana ; Steffen, Bernhard
Creators: Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Title: Safer Parallelization
Language: English
Book Title: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Series: Lecture Notes in Computer Science
Series Volume: 12477
Publisher: Springer
ISBN: 978-3-030-61469-0
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)
Date Deposited: 22 Jul 2021 07:37
DOI: 10.1007/978-3-030-61470-6_8
Additional Information:

Proceedings Part II

PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details