Sciweavers

CAV
2004
Springer

WSAT: A Tool for Formal Analysis of Web Services

14 years 5 months ago
WSAT: A Tool for Formal Analysis of Web Services
Xiang Fu, Tevfik Bultan, Jianwen Su
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Xiang Fu, Tevfik Bultan, Jianwen Su
Comments (0)