| A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services | |
| Kuang, Li[1]; Mao, Yuxin[2]; Xia, Yingjie[1] | |
| 2011 | |
| 卷号 | 4期号:4-5页码:1687 |
| URL标识 | 查看原文 |
| 内容类型 | 期刊论文 |
| URI标识 | http://www.corc.org.cn/handle/1471x/5551461 |
| 专题 | 浙江工商大学 |
| 作者单位 | 1.[1]Hangzhou Normal Univ, Hangzhou Inst Serv Engn, Hangzhou 310012, Zhejiang, Peoples R China 2.[2]Zhejiang Gongshang Univ, Sch Comp & Informat Engn, Hangzhou 310018, Peoples R China |
| 推荐引用方式 GB/T 7714 | Kuang, Li[1],Mao, Yuxin[2],Xia, Yingjie[1]. A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services[J],2011,4(4-5):1687. |
| APA | Kuang, Li[1],Mao, Yuxin[2],&Xia, Yingjie[1].(2011).A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services.,4(4-5),1687. |
| MLA | Kuang, Li[1],et al."A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services".4.4-5(2011):1687. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论