Model Checking Transactional Memory with Spin - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'John W. O Leary' in GoogleThis author has not been identified. Look up 'Bratin Saha' in GoogleThis author has not been identified. Look up 'Mark R. Tuttle' in Google

runs on WebDSL