-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
Verifying strong eventual consistency in distributed systems
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
11
Community study of the relative impact of HIV-1 and HIV-2 on intrathoracic tuberculosis
Veröffentlicht in AIDS (London)
VolltextArtikel -
12
Exploring C semantics and pointer provenance
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
13
-
14
-
15
Verifying Strong Eventual Consistency in Distributed Systems
Veröffentlicht in arXiv.org
VolltextArtikel -
16
-
17
-
18
-
19
-
20