Proving linearizability with temporal logic
Bäumler, Simon ; Schellhorn, Gerhard ; Tofan, Bogdan ; Reif, Wolfgang 2011 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1382396805
- Titel
-
Proving linearizability with temporal logic
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif
- Autor(en)
-
- Bäumler, Simon
- Schellhorn, Gerhard
- Tofan, Bogdan
- Reif, Wolfgang
- Verlag
- Augsburg : Universität Augsburg [2011] - Berlin : Springer [2011]
- Jahr
- Erscheinungsdatum: 2011
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/s00165-009-0130-y
- Online
- https://doi.org/10.1007/s00165-009-0130-y
- Sprache
- eng
- Frühere/spätere Titel
-
- Enthalten in: In: Formal Aspects of Computing, 23, 1, S. 91-112
- Enthalten in: In: Formal Aspects of Computing, 23, 1, S. 91-112
- Enthalten in: In: Formal Aspects of Computing, 23, 1, S. 91-112
- Stand
- 03.12.2025 23:36
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
