Li Kuang#, Yuxin Mao, Yingjie Xia. A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services. Advanced Science Letters, 2011, 4:1687-1694
发布时间：2016-04-10
点击次数：
是否译文：否
上一条： Yingjie Xia, Li Kuang, Xiumei Li. Accelerating geospatial analysis on GPUs using CUDA. Journal of Zhejiang University - Science C, 2011, 12(12): 990-999
下一条： Li Kuang#, Liang Chen, Yingjie Xia. Reasoning on Context Satisfiability for Service Recommendation in Mobile Network. Journal of Digital Information Management, 2011, 9(6):249-254