| |
| 2008 | ||
|---|---|---|
| 1 | EE | Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59 |
| 1 | Bernd Becker | [1] |
| 2 | Marc Herbstritt | [1] |
| 3 | Natalia Kalinnik | [1] |
| 4 | Matthew D. T. Lewis | [1] |
| 5 | Tobias Nopper | [1] |
| 6 | Ralf Wimmer | [1] |