Zhifeng Gu, Juan-Zi Li, Jie Tang, Bin Xu, Ruobo Huang. Verification of Web Service Conversations Specified in WSCL. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. pages 432-437, IEEE Computer Society, 2007. [doi]
@inproceedings{GuLTXH07, title = {Verification of Web Service Conversations Specified in WSCL}, author = {Zhifeng Gu and Juan-Zi Li and Jie Tang and Bin Xu and Ruobo Huang}, year = {2007}, doi = {10.1109/COMPSAC.2007.235}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.235}, tags = {web service}, researchr = {https://researchr.org/publication/GuLTXH07}, cites = {0}, citedby = {0}, pages = {432-437}, booktitle = {31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2870-0}, }