@inproceedings{guerraoui:completeness:concur:2008,
  author	= {Guerraoui, Rachid and Henzinger, Thomas and Singh, Vasu},
  title		= {Completeness and Nondeterminism in Model Checking Transactional Memories"},
  booktitle	= {CONCUR~'08: Proc. 19th Conference on Concurrency Theory},
  urlpage	= {http://dx.doi.org/10.1007/978-3-540-85361-9_6},
  pdf		= {http://infoscience.epfl.ch/record/125895/files/concur2008.pdf},
  pages		= {21--35},
  year		= {2008},
  month		= {aug},
}