| |
| 2008 | ||
|---|---|---|
| 1 | EE | Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman: Verifying really complex systems: on earth and beyond. DAC 2008: 552-553 |
| 1 | Anjan Bose | [1] |
| 2 | David E. Corman | [1] |
| 3 | Andreas Kuehlmann | [1] |
| 4 | Robert M. Manning | [1] |
| 5 | Rob A. Rutenbar | [1] |