QQ客服 官方微博 反馈留言

	Temporal verification for scientific cloud workflows: State-of-the-art and research challenges
	Wang,Futian; Liu,Xiao; Zhao,Zhou; Wang,Qiudan
刊名	Communications in Computer and Information Science
	2015
卷号	Vol.495页码:59-74
ISSN号	1865-0929
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2159731
专题	安徽大学
作者单位	1.Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China 2.2School of Computer Science and Technology,Anhui University, China
推荐引用方式 GB/T 7714	Wang,Futian,Liu,Xiao,Zhao,Zhou,et al. Temporal verification for scientific cloud workflows: State-of-the-art and research challenges[J]. Communications in Computer and Information Science,2015,Vol.495:59-74.
APA	Wang,Futian,Liu,Xiao,Zhao,Zhou,&Wang,Qiudan.(2015).Temporal verification for scientific cloud workflows: State-of-the-art and research challenges.Communications in Computer and Information Science,Vol.495,59-74.
MLA	Wang,Futian,et al."Temporal verification for scientific cloud workflows: State-of-the-art and research challenges".Communications in Computer and Information Science Vol.495(2015):59-74.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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