WSAT: A Tool for Formal Analysis of Web Services (2004)

by X Fu, T Bultan, J Su
Venue:in Proc. CAV’04