公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2004 | Functional Dependency for Verification Reduction. | Jiang, Jie-Hong Roland; Brayton, Robert K.; JIE-HONG JIANG | Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings | 18 | 0 | |
2003 | Reducing Multi-Valued Algebraic Operations to Binary. | Jiang, Jie-Hong Roland; Mishchenko, Alan; Brayton, Robert K.; JIE-HONG JIANG | 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany | 0 | 0 |