direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

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

Zusatzinformationen / Extras

Direktzugang:

Schnellnavigation zur Seite über Nummerneingabe