| |
| 2001 | ||
|---|---|---|
| 3 | EE | Wolfgang Günther, Andreas Hett, Bernd Becker: Application of linearly transformed BDDs in sequential verification. ASP-DAC 2001: 91-96 |
| 2000 | ||
| 2 | EE | Andreas Hett, Christoph Scholl, Bernd Becker: Distance driven finite state machine traversal. DAC 2000: 39-42 |
| 1997 | ||
| 1 | EE | Andreas Hett, Rolf Drechsler, Bernd Becker: Fast and efficient construction of BDDs by reordering based synthesis. ED&TC 1997: 168-175 |
| 1 | Bernd Becker | [1] [2] [3] |
| 2 | Rolf Drechsler | [1] |
| 3 | Wolfgang Günther | [3] |
| 4 | Christoph Scholl | [2] |