[IEEE Third International Symposium on Parallel Architectures, Algorithms and Programming (PAAP 2010) - Dalian (2010.12.18-2010.12.20)] 2010 3rd International Symposium on Parallel Architectures, Algorithms and Programming - Specification and Verification of Safe Web Service Behavior Adaptation
Xiong Xie,, Weishi Zhang,, Huawei Zhai,, Licheng Cui,, Jinyu Shi,Year:
2010
Language:
english
DOI:
10.1109/paap.2010.27
File:
PDF, 219 KB
english, 2010