TY -
BOOK
AU - Reiser, Angelika
TI -
Korrektheitsnachweis eines Synchronisations-Protokolls fuer verteilte Datenbanksysteme
KW - Hochschulschrift
KW - Verteiltes Datenbanksystem
KW - Synchronisierung
KW - Kommunikationsprotokoll
KW - Datenbanksystem
PY - 1982
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -