direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Welcome to the CIT Chair

Lupe

Recent Publications

The IMAP CmRDT
Citation key jungnickel.2017.afp
Author Tim Jungnickel and Lennart Oldenburg and Matthias Loibl
Year 2017
ISSN 2150-914x
Journal Archive of Formal Proofs
Link to publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Contact

Secr EN59
Room: E-N 157
Einsteinufer 17
10587 Berlin
Phone +49 30 314 25154

Office Hours Secr.
Mon-Thu 12-14