Design for verification for asynchronously communicating Web services
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
- Anthology ID:
- DBLP:conf/www/Betin-CanBF05
- Volume:
- Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005
- Year:
- 2005
- Venue:
- wwwconf_conference
- Publisher:
- ACM
- Pages:
- 750–759
- URL:
- https://doi.org/10.1145/1060745.1060853
- DOI:
- 10.1145/1060745.1060853
- DBLP:
- conf/www/Betin-CanBF05
