QQ客服 官方微博 反馈留言

	Model checking WS-BPEL with universal modal sequence diagrams (EI收录)
	Li, Wenrui[1,2]; Yang, Zhongxue[2]; Zhang, Pengcheng[1,3]; Wang, Zhijian[3]
会议名称	Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011
会议日期	May 16, 2011 - May 18, 2011
会议地点	Sanya, Hainan Island, China
关键词	Information science Semantics Specifications
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2060925
专题	华南理工大学
作者单位	1.[1] State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China 2.[2] School of Mathematics and Information Technology, Nanjing Xiaozhuang University, Nanjing, China 3.[3] College of Computer and Information Engineering, Hohai University, Nanjing, China
推荐引用方式 GB/T 7714	Li, Wenrui[1,2],Yang, Zhongxue[2],Zhang, Pengcheng[1,3],等. Model checking WS-BPEL with universal modal sequence diagrams (EI收录)[C]. 见:Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011. Sanya, Hainan Island, China. May 16, 2011 - May 18, 2011.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。