@inproceedings{oleary:model:icdcs:2009,
  author	= {O'Leary, John and Saha, Bratin and Tuttle, Mark R.},
  title		= {Model checking transactional memory with {S}pin},
  booktitle	= {ICDCS~'09: Proc. 29th International Conference on Distributed Computing Systems},
  year		= {2009},
  month		= {jun},
}