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]
No references recorded for this publication.
No citations of this publication recorded.