| |
| 2008 | ||
|---|---|---|
| 2 | EE | Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni: Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. Electr. Notes Theor. Comput. Sci. 207: 153-169 (2008) |
| 2007 | ||
| 1 | EE | Naiyong Jin, Taoyong Ni: Interface Specification Assurance Methods. ISQED 2007: 269-274 |
| 1 | Jun Chen | [2] |
| 2 | Naiyong Jin | [1] [2] |
| 3 | Chengjie Shen | [2] |