| |
| 2004 | ||
|---|---|---|
| 1 | EE | Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang: Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV 2004: 427-439 |
| 1 | Jesse D. Bingham | [1] |
| 2 | Anne Condon | [1] |
| 3 | Alan J. Hu | [1] |
| 4 | Shaz Qadeer | [1] |