Model Checking a Lazy Concurrent List-Based Set Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shao Jie Zhang, Yang Liu 0003. Model Checking a Lazy Concurrent List-Based Set Algorithm. In Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010. pages 43-52, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Shao Jie Zhang' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in Google

runs on WebDSL