![](/img/cover-not-exists.png)
[IEEE 2010 IEEE International Conference on Services Computing (SCC) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Services Computing - Describing and Verifying Web Service Composition Using TLA Reasoning
Wang, Hongbing, Zhou, Qianzhao, Shi, YanqiYear:
2010
Language:
english
DOI:
10.1109/scc.2010.28
File:
PDF, 1.38 MB
english, 2010