Verifying a Stack with Hazard Pointers in Temporal Logic
Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang 2011 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1077699824
- Titel
-
Verifying a Stack with Hazard Pointers in Temporal Logic
- Art des Inhalts
- Monographie
- Verfassangaben
- Bogdan Tofan ; Gerhard Schellhorn ; Wolfgang Reif
- Autor(en)
-
- Tofan, Bogdan
- Schellhorn, Gerhard
- Reif, Wolfgang
- Verlag
- Augsburg : Universität Augsburg [2011]
- Jahr
- Erscheinungsdatum: 2011
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-12069
- Sprache
- eng
- Schlagwörter
-
- Stand
- 02.12.2017 13:52
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
