Formal Modeling and Analyzing the Reliability for Service Composition.

Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu

Browse the full APSEC paper archive.