Login / Signup
Yanlin Gu
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Petri Net
Ai Planning
Discrete Particle Swarm Optimization
Semantic Matching
Top Venues
J. Softw.
</>
Publications
</>
Baojun Tian
,
Yanlin Gu
Formal Modeling and Verification for Web Service Composition.
J. Softw.
8 (11) (2013)