Amitabha Roy 0002, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang. Fast and Generalized Polynomial Time Memory Consistency Verification. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 503-516, Springer, 2006. [doi]
Abstract is missing.