Linked Data Explorer
Korrektheitsnachweis eines synchronisationsprotokolls für verteilte datenbanksysteme
- "Korrektheitsnachweis eines synchronisationsprotokolls für verteilte datenbanksysteme"
- "Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme"