WSAT: A tool for formal analysis of web services (2004)

by Xiang Fu, Tevfik Bultan, Jianwen Su
Venue:In CAV 2004: Proceedings of the 16th International Conference on Computer Aided Verification, volume 3114 of LNCS