Automatic Message Flow Analyses for Web Services Based on WSDL.

Li Li, Wu Chou

Browse the full ICWS paper archive.