Design for verification for asynchronously communicating Web services

BETİN CAN A. , TEVFİK B., XİANG F.

Proceedings of the 14th international conference on World Wide Web - WWW ’xx05, Chiba, Japan, 10 - 14 May 2005, pp.750-759

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1145/1060745.1060853
  • City: Chiba
  • Country: Japan
  • Page Numbers: pp.750-759