| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 3 |      | 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 |
| 1997 | ||
| 2 | | Kyle L. Nelson, Alok Jain, Randal E. Bryant: Formal Verification of a Superscalar Execution Unit. DAC 1997: 161-166 |
| 1996 | ||
| 1 | | Alok Jain, Kyle L. Nelson, Randal E. Bryant: Verifying Nondeterministic Implementations of Deterministic Systems. FMCAD 1996: 109-125 |
| 1 | Randal E. Bryant | [1] [2] |
| 2 | Cindy Eisner | [3] |
| 3 | Russ Hoover | [3] |
| 4 | Alok Jain | [1] [2] |
| 5 | Wayne G. Nation | [3] |
| 6 | Irit Shitsevalov | [3] |
| 7 | Ken Valk | [3] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page