Hongbing Wang, Hui Liu, Xiaohui Guo. Specify and Compose Web Services by TLA. In 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China. pages 766-767, IEEE Computer Society, 2008. [doi]
@inproceedings{WangLG08,
title = {Specify and Compose Web Services by TLA},
author = {Hongbing Wang and Hui Liu and Xiaohui Guo},
year = {2008},
doi = {10.1109/ICWS.2008.72},
url = {http://dx.doi.org/10.1109/ICWS.2008.72},
tags = {web service, web services},
researchr = {https://researchr.org/publication/WangLG08},
cites = {0},
citedby = {0},
pages = {766-767},
booktitle = {2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3310-0},
}