Specify and Compose Web Services by TLA

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.