Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme
By: Angelika Reiser
Contributors: Technische Universität München
Published: 1982
Language: ger
Number of pages: 103
Notes: Thesis (doctoral)--Technische Universität München, 1982.