Model checking transactional memories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh. Model checking transactional memories. In Rajiv Gupta, Saman P. Amarasinghe, editors, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. pages 372-382, ACM, 2008. [doi]

This author has not been identified. Look up 'Rachid Guerraoui' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Barbara Jobstmann' in GoogleThis author has not been identified. Look up 'Vasu Singh' in Google

runs on WebDSL