TY - RPRT TI - On the k-Atomicity-Verification Problem AU - Wojciech Golab AU - Jeremy Hurwitz AU - Xiaozhou AU - Li PY - 2013 UR - https://arxiv.org/abs/1309.5522 ID - 1309.5522 ER -