Yuming Xu

	2007
1		Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100

Coauthor Index

1	Chao Cai	[1]
2	Geguang Pu	[1]
3	Yi Qian	[1]
4	Zheng Wang	[1]
5	Huibiao Zhu	[1]