![](/img/cover-not-exists.png)
[IEEE 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) - Dalian, Liaoning, China (2007.09.18-2007.09.21)] 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) - A CCS based Model for Describing and Verifying the Behavior of Web Service
Cao, Zhiying, Bao, Li, Zhang, WeishiYear:
2007
Language:
english
DOI:
10.1109/icnpcw.2007.4351615
File:
PDF, 403 KB
english, 2007