|
|||||
|
|
A model checker for WS-CDL |
|
| Authors: | Hongbing Wang [Author Vitae] Zuling Kang [Author Vitae] [Author Vitae] Li Li [Author Vitae] |
| Affiliation: | a School of Computer Science and Engineering, Southeast University, Nanjing, PR China b Faculty of Computers and Information Science, Southwest University, Chongqing 400715, PR China |
| Abstract: | |
| Keywords: | Web service composition TLA WS-CDL TLA4CDL Model checker |
| 本文献已被 ScienceDirect 等数据库收录！ | |