Taoyong Ni

	2008
3		Naiyong Jin, Juan Zhou, Taoyong Ni: iPSL: An Environment for IP-Based PSL Specification. ICECCS 2008: 46-55
2		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		Naiyong Jin, Taoyong Ni: Interface Specification Assurance Methods. ISQED 2007: 269-274

Coauthor Index

1	Jun Chen	[2]
2	Naiyong Jin	[1] [2] [3]
3	Chengjie Shen	[2]
4	Juan Zhou	[3]