| |
| 1997 | ||
|---|---|---|
| 2 | Rolf Drechsler, Bernd Becker, Stefan Ruppertz: Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18 | |
| 1 | EE | Rolf Drechsler, Bernd Becker, Stefan Ruppertz: The K*BMD: A Verification Data Structure. IEEE Design & Test of Computers 14(2): 51-59 (1997) |
| 1 | Bernd Becker | [1] [2] |
| 2 | Rolf Drechsler | [1] [2] |