![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516 |
1 | EE | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006) |
1 | Charles J. Fleckenstein | [1] [2] |
2 | Amitabha Roy | [1] [2] |
3 | Stephan Zeisset | [1] [2] |