| |
| 1991 | ||
|---|---|---|
| 1 | EE | Xuejun Du, Gary D. Hachtel, Bill Lin, A. Richard Newton: MUSE: a multilevel symbolic encoding algorithm for state assignment. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 28-38 (1991) |
| 1 | Gary D. Hachtel | [1] |
| 2 | Bill Lin | [1] |
| 3 | A. Richard Newton | [1] |