@inproceedings{Artho04-blatomicity,
  author={C. Artho and A. Biere and K. Havelund},
  title = {Using block-local atomicity to detect stale-value concurrency errors},
  booktitle = {Proc.\ 2nd Int.\  Symposium on Automated Technology for Verification and Analysis (ATVA~2004)},
  year={2004},
  pages = {150--164},
  series = {LNCS},
  volume = {3299},
  publisher = {Springer},
  address = {Taipei, Taiwan},
}