| |
| 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, Chengjie Shen: Dynamic Verifying The Properties of The Simple Subset of PSL. TASE 2007: 229-240 |
| 1 | Jun Chen | [2] |
| 2 | Naiyong Jin | [1] [2] |
| 3 | Taoyong Ni | [2] |