![]() | ![]() |
2008 | ||
---|---|---|
3 | 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 |
2007 | ||
2 | EE | Tobias Nopper, Christoph Scholl, Bernd Becker: Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280 |
2004 | ||
1 | EE | Tobias Nopper, Christoph Scholl: Approximate Symbolic Model Checking for Incomplete Designs. FMCAD 2004: 290-305 |
1 | Bernd Becker | [2] [3] |
2 | Marc Herbstritt | [3] |
3 | Natalia Kalinnik | [3] |
4 | Matthew D. T. Lewis | [3] |
5 | Juri Lichtner | [3] |
6 | Christoph Scholl | [1] [2] |
7 | Ralf Wimmer | [3] |