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]
Abstract is missing.