| |
| 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] |