Chengjie Shen

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni
-Verilog Dynamic Verifier by Alternating Automata. Electron. Notes Theor. Comput. Sci. 207 (2008)
Naiyong Jin, Chengjie Shen
Dynamic Verifying The Properties of The Simple Subset of PSL. TASE (2007)