TU Berlin

Institut für TelekommunikationssystemePublikationen

Inhalt

zur Navigation

Publikationen der gesamten Fachgruppe

The IMAP CmRDT
Zitatschlüssel jungnickel.2017.afp
Autor Tim Jungnickel and Lennart Oldenburg and Matthias Loibl
Jahr 2017
ISSN 2150-914x
Journal Archive of Formal Proofs
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe