@inproceedings{oleary:model:podc:2008,
  author	= {O'Leary, John and Saha, Bratin and Tuttle, Mark R.},
  title		= {Model checking transactional memory with {S}pin (brief announcement)},
  booktitle	= {PODC~'08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing},
  urlpage	= {http://doi.acm.org/10.1145/1400751.1400816},
  pdf		= {http://www.markrtuttle.com/papers/oleary-saha-tuttle-podc08.pdf},
  pages		= {424--424},
  year		= {2008},
  month		= {aug},
}