![]() | ![]() |
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] |