Publications

Verification of web service conversations specified in WSCL

• • Zhifeng Gu
  • Juanzi Li
  • et al.
• 2007
• COMPSAC 2007