A novel approach to parameterized verification of cache coherence protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai. A novel approach to parameterized verification of cache coherence protocols. In 34th IEEE International Conference on Computer Design, ICCD 2016, Scottsdale, AZ, USA, October 2-5, 2016. pages 560-567, IEEE Computer Society, 2016. [doi]

This author has not been identified. Look up 'Yongjian Li' in GoogleThis author has not been identified. Look up 'Kaiqiang Duan' in GoogleThis author has not been identified. Look up 'Yi Lv' in GoogleThis author has not been identified. Look up 'Jun Pang' in GoogleThis author has not been identified. Look up 'Shaowei Cai' in Google

runs on WebDSL