| |
| 2006 | ||
|---|---|---|
| 1 | EE | Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10 |
| 1 | Jason Baumgartner | [1] |
| 2 | Tilman Glökler | [1] |
| 3 | Gary A. Van Huben | [1] |
| 4 | Hari Mony | [1] |
| 5 | Paul Roessler | [1] |
| 6 | A. E. (Rick) Seigler (Adrian E. Seigler) | [1] |
| 7 | Devi Shanmugam | [1] |