TY  - RPRT
TI  - Inferring Formal Properties of Production Key-Value Stores
AU  - Edgar Pek
AU  - Pranav Garg
AU  - Muntasir Raihan Rahman
AU  - Karl Palmskog
AU  - Indranil Gupta
AU  - P. Madhusudan
PY  - 2017
UR  - https://arxiv.org/abs/1712.10056
ID  - 1712.10056
ER  -