Amanote Research
Register
Sign In
Model Checking Transactional Memory With Spin
doi 10.1109/icdcs.2009.72
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2009
Authors
J. O'Leary
B. Saha
M.R. Tuttle
Publisher
IEEE
