Articles by Hongbo Liu (1)

Formal Verification for CCML Based Web Service Composition

Xiuguo Zhang and Hongbo Liu

Information Technology Journal 10 ( 9 ): 1692 - 1700 , 2011