| |
| 1992 | ||
|---|---|---|
| 3 | Heh-Tyan Liaw, Chen-Shang Lin: On the OBDD-Representation of General Boolean Functions. IEEE Trans. Computers 41(6): 661-664 (1992) | |
| 1990 | ||
| 2 | Heh-Tyan Liaw, Jia-Horng Tsaih, Chen-Shang Lin: Efficient Automatic Diagnosis of Digital Circuits. ICCAD 1990: 464-467 | |
| 1989 | ||
| 1 | EE | Heh-Tyan Liaw, K.-T. Tran, Chen-Shang Lin: VVDS: A Verification/Diagnosis System for VHDL. DAC 1989: 435-440 |
| 1 | Chen-Shang Lin | [1] [2] [3] |
| 2 | K.-T. Tran | [1] |
| 3 | Jia-Horng Tsaih | [2] |