TY  - RPRT
TI  - Fast and Generalized Polynomial Time Memory Consistency Verification
AU  - Amitabha Roy
AU  - Stephan Zeisset
AU  - Charles J. Fleckenstein
AU  - John C. Huang
PY  - 2006
UR  - https://arxiv.org/abs/cs/0605039
ID  - cs/0605039
ER  -