Using Coarse State Space Abstractions to Detect Mutex Pairs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mehdi Sadeqi, Robert C. Holte, Sandra Zilles. Using Coarse State Space Abstractions to Detect Mutex Pairs. In Alan M. Frisch, Peter Gregory, editors, Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. AAAI, 2013. [doi]

This author has not been identified. Look up 'Mehdi Sadeqi' in GoogleThis author has not been identified. Look up 'Robert C. Holte' in GoogleThis author has not been identified. Look up 'Sandra Zilles' in Google

runs on WebDSL