| |
| 2007 | ||
|---|---|---|
| 1 | EE | Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin: Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE 2007: 123-132 |
| 1 | Ali Alphan Bayazit | [1] |
| 2 | Yogesh S. Mahajan | [1] |
| 3 | Sharad Malik | [1] |
| 4 | Wei Qin | [1] |