%0
Book
%T
Korrektheitsnachweis eines Synchronisations-Protokolls fuer verteilte Datenbanksysteme
%A Reiser, Angelika
%K Hochschulschrift
%K Verteiltes Datenbanksystem
%K Synchronisierung
%K Kommunikationsprotokoll
%K Datenbanksystem
%D 1982
%U http://slubdd.de/katalog?TN_libero_mab2