IR
Anthology
Community
Aysu Betin
Can
2005
doi
dblp
Design for verification for asynchronously communicating Web services.
Aysu Betin-Can
|
Tevfik Bultan
|
Xiang Fu
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005