Thread-Modular Abstraction Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer. Thread-Modular Abstraction Refinement. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 262-274, Springer, 2003. [doi]

This author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in GoogleThis author has not been identified. It may be one of the following persons:

Shaz Qadeer

Look up 'Shaz Qadeer' in Google

runs on WebDSL