| |
| 2008 | ||
|---|---|---|
| 3 | EE | Robert Beers: Pre-RTL formal verification: an intel experience. DAC 2008: 806-811 |
| 2001 | ||
| 2 | EE | Robert Beers, Rajnish Ghughal, Mark Aagaard: Applications of Hierarchical Verification in Model Checking. CHARME 2001: 40-57 |
| 2000 | ||
| 1 | EE | Robert Beers, Rajnish Ghughal, Mark Aagaard: Applications of Hierarchical Verification in Model Checking. FMCAD 2000 |
| 1 | Mark Aagaard | [1] [2] |
| 2 | Rajnish Ghughal | [1] [2] |