%0 Thesis %1 reiser1982korrektheitsnachweis %A Reiser, Angelika %D 1982 %K %T Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme

@phdthesis{reiser1982korrektheitsnachweis, added-at = {2023-12-13T01:51:10.000+0100}, author = {Reiser, Angelika}, biburl = {https://www.bibsonomy.org/bibtex/2f08ed0f69dde834e621a5fd03f7d212d/admin}, dnbtitleid = {830677380}, interhash = {775cebc75b886dc412da6470eb9ef606}, intrahash = {f08ed0f69dde834e621a5fd03f7d212d}, keywords = {}, school = {TU München}, timestamp = {2023-12-13T01:51:10.000+0100}, title = {Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme}, year = 1982 }