Xutao Du

	2008
4		Xutao Du, Chunxiao Xing, Lizhu Zhou: Abstract Reachability Graph for Verifying Web Service Interfaces. ICSR 2008: 262-265
3		Xutao Du, Chunxiao Xing, Lizhu Zhou: Reachability analysis of Web service interfaces. IRI 2008: 40-45
2		Xutao Du, Chunxiao Xing, Lizhu Zhou: Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). QSIC 2008: 114-119
	2003
1		Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214

Coauthor Index

1	Zhoujun Li	[1]
2	Chunxiao Xing (Chun-Xiao Xing)	[2] [3] [4]
3	Lizhu Zhou (Li-Zhu Zhou)	[2] [3] [4]

Colors in the list of coauthors