John W. O Leary, Bratin Saha, Mark R. Tuttle. Model Checking Transactional Memory with Spin. In 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada. pages 335-342, IEEE Computer Society, 2009. [doi]
Abstract is missing.