Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi. Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. In 2003 International Conference on Computer-Aided Design (ICCAD 03), November 9-13, 2003, San Jose, CA, USA. pages 408-415, IEEE Computer Society / ACM, 2003. [doi]

This author has not been identified. Look up 'Chao Wang' in GoogleThis author has not been identified. Look up 'Bing Li' in GoogleThis author has not been identified. Look up 'HoonSang Jin' in GoogleThis author has not been identified. Look up 'Gary D. Hachtel' in GoogleThis author has not been identified. Look up 'Fabio Somenzi' in Google

runs on WebDSL