TY - RPRT TI - Inversion-based Measurement of Data Consistency for Read/Write Registers AU - Yu Huang AU - Hengfeng Wei AU - Maosen Huang AU - Lingzhi Ouyang PY - 2019 UR - https://arxiv.org/abs/1901.02192 ID - 1901.02192 ER -