Pattern Based Property Specification and Verification for Service Composition.

Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Han, Jianwu Wang

Browse the full WISE paper archive.