Login / Signup
Tan Phan Manh
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Jian Yu
,
Tan Phan Manh
,
Jun Han
,
Yan Jin
,
Yanbo Han
,
Jianwu Wang
Pattern Based Property Specification and Verification for Service Composition.
WISE
(2006)