Towards the Verification of Services Collaboration.

Yue Xie, Dehui Du, Jing Liu, Zuohua Ding

Browse the full COMPSAC paper archive.