| |
| 2000 | ||
|---|---|---|
| 1 | EE | Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk: A methodology for formal design of hardware control with application to cache coherence protocols. DAC 2000: 724-729 |
| 1 | Cindy Eisner | [1] |
| 2 | Russ Hoover | [1] |
| 3 | Wayne G. Nation | [1] |
| 4 | Kyle L. Nelson | [1] |
| 5 | Irit Shitsevalov | [1] |