- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2010-07
- Classification
-
Informatik
- Keyword
-
Temporallogik
ABA Problem
Linearisierbarkeit
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2010
- Contributor
- URN
-
urn:nbn:de:bvb:384-opus4-11758
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
19.09.2025, 8:41 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tofan, Bogdan
- Schellhorn, Gerhard
- Bäumler, Simon
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2010
Other Objects (12)
Local rely-guarantee conditions for linearizability and lock-freedom
Korrektheit von Spezifikationen und generischen Moduln
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Reasoning about Pointer Structures in Java
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Model-Based Testing for Self-Organization Mechanisms
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Local rely-guarantee conditions for linearizability and lock-freedom
Korrektheit von Spezifikationen und generischen Moduln
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Reasoning about Pointer Structures in Java
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Model-Based Testing for Self-Organization Mechanisms
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Local rely-guarantee conditions for linearizability and lock-freedom
Korrektheit von Spezifikationen und generischen Moduln
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Reasoning about Pointer Structures in Java
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Model-Based Testing for Self-Organization Mechanisms