DBLP Record 'journals/micro/LuTQZ07'

BibTeX

@article{DBLP:journals/micro/LuTQZ07,
  author    = {Shan Lu and
               Joseph Tucek and
               Feng Qin and
               Yuanyuan Zhou},
  title     = {AVIO: Detecting Atomicity Violations via Access-Interleaving
               Invariants},
  journal   = {IEEE Micro},
  volume    = {27},
  number    = {1},
  year      = {2007},
  pages     = {26-35},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MM.2007.5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}