![](/img/cover-not-exists.png)
[IEEE IEEE International Conference on e-Business Engineering (ICEBE'07) - Hong Kong, China (2007.10.24-2007.10.26)] IEEE International Conference on e-Business Engineering (ICEBE'07) - A Framework for Model Checking Web Service Compositions Based on BPEL4WS
Dai, Guilan, Bai, Xiaoying, Zhao, ChongchongYear:
2007
Language:
english
DOI:
10.1109/icebe.2007.11
File:
PDF, 525 KB
english, 2007