@misc{indiciae613923ab7f4d,
  title = {Inferring Formal Properties of Production Key-Value Stores},
  author = {Edgar Pek and Pranav Garg and Muntasir Raihan Rahman and Karl Palmskog and Indranil Gupta and P. Madhusudan},
  year = {2017},
  url = {https://arxiv.org/abs/1712.10056},
  note = {Source identifier: 1712.10056}
}