Bibliograph.
Daten | Schirmer, Darius: Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS.
Universität Stuttgart, Fakultät Informatik, Diplomarbeit Nr. 1526 (1997).
113 Seiten, deutsch.
|
|---|
| CR-Klassif. | C.2.4 (Distributed Systems)
D.4.5 (Operating Systems Reliability)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
H.2.4 (Database Management Systems)
|
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Anwendersoftware (Prof. Reuter)
|
|---|
| Eingabedatum | 30. September 2002 |
|---|