Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme

Angelika Reiser. Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme. PhD thesis, Technical University Munich, Germany, 1982. [doi]

Abstract

Abstract is missing.