| |
| * | 2000 | |
|---|---|---|
| 1 | Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long: Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD 2000: 120-126 | |
| 1 | Valeria Bertacco | [1] |
| 2 | Robert F. Damiano | [1] |
| 3 | Kevin Harer | [1] |
| 4 | Pei-Hsin Ho | [1] |
| 5 | James H. Kukula | [1] |
| 6 | Jiang Long | [1] |
| 7 | Thomas R. Shiple | [1] |