Tan Phan Manh

	2006
1		Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Han, Jianwu Wang: Pattern Based Property Specification and Verification for Service Composition. WISE 2006: 156-168

Coauthor Index

1	Jun Han	[1]
2	Yanbo Han	[1]
3	Yan Jin	[1]
4	Jianwu Wang	[1]
5	Jian Yu	[1]