TY  - RPRT
TI  - Atomicity violation detection using access interleaving invariants
AU  - Zhou, Yuanyuan
AU  - Lu, Shan
AU  - Tucek, Joseph Andrew
PY  - 2013
UR  - https://www.osti.gov/biblio/1092760
ID  - 1092760
ER  -