@inproceedings{Cohen:Verification:transact:2008,
  author	= {Cohen, Ariel and Pnueli, Amir and Zuck, Lenore},
  title		= {Verification of Transactional Memories that Support Non-Transactional Memory Accesses},
  booktitle	= {TRANSACT~'08: 3rd Workshop on Transactional Computing},
  pdf		= {http://www.unine.ch/transact08/papers/Cohen-Verification.pdf},
  year		= {2008},
  month		= {feb},
}