WSAT: A Tool for Formal Analysis of Web Services.

Xiang Fu, Tevfik Bultan, Jianwen Su

Browse the full CAV paper archive.