Design for verification for asynchronously communicating Web services.

@inproceedings{betincan-2005-design, author = {Aysu Betin-Can and Tevfik Bultan and Xiang Fu}, editor = {Allan Ellis and Tatsuya Hagino}, title = {{Design for verification for asynchronously communicating Web services}}, booktitle = {{Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005}}, pages = {750--759}, publisher = {ACM}, year = {2005}, url = {https://doi.org/10.1145/1060745.1060853}, doi = {https://doi.org/10.1145/1060745.1060853} }