Reasoning about Block-based Cloud Storage Systems.
http://arxiv.org/abs/1904.04442
@article{DBLP:journals/corr/abs-1904-04442,
author = {Zhao Jin and
Hanpin Wang and
Lei Zhang and
Bowen Zhang and
Kun Gao and
Yongzhi Cao},
title = {Reasoning about Block-based Cloud Storage Systems},
journal = {CoRR},
volume = {abs/1904.04442},
year = {2019},
url = {http://arxiv.org/abs/1904.04442},
archivePrefix = {arXiv},
eprint = {1904.04442},
timestamp = {Thu, 25 Apr 2019 13:55:01 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签