Chengjie Shen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni: Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. Electr. Notes Theor. Comput. Sci. 207: 153-169 (2008)

2007

1 Naiyong Jin, Chengjie Shen: Dynamic Verifying The Properties of The Simple Subset of PSL. TASE 2007: 229-240

	2008
2		Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni: Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. Electr. Notes Theor. Comput. Sci. 207: 153-169 (2008)
	2007
1		Naiyong Jin, Chengjie Shen: Dynamic Verifying The Properties of The Simple Subset of PSL. TASE 2007: 229-240

Coauthor Index