@misc{indiciaeb0895fcfb272,
  title = {Reasoning about Block-based Cloud Storage Systems},
  author = {Zhao Jin and Hanpin Wang and Lei Zhang and Bowen Zhang and Kun Gao and Yongzhi Cao},
  year = {2019},
  url = {https://arxiv.org/abs/1904.04442},
  note = {Source identifier: 1904.04442}
}