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, Japonya, 10 - 14 Mayıs 2005, ss.750-759

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1145/1060745.1060853
  • Basıldığı Şehir: Chiba
  • Basıldığı Ülke: Japonya
  • Sayfa Sayıları: ss.750-759