| |
| 1999 | ||
|---|---|---|
| 1 | EE | Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu: Cache Coherence Verification with TLA+. World Congress on Formal Methods 1999: 1871-1872 |
| 1 | Damien Doligez | [1] |
| 2 | Paul Harter | [1] |
| 3 | Leslie Lamport | [1] |
| 4 | Joshua Scheid | [1] |
| 5 | Mark R. Tuttle | [1] |
| 6 | Yuan Yu | [1] |