Fast and Generalized Polynomial Time Memory Consistency Verification.

Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang

Browse the full CAV paper archive.