QQ客服 官方微博 反馈留言

	Workflow temporal verification for monitoring parallel business processes
	Yuan,Dong; Yang,Yun; Wang,Dingxian; Wang,Futian; Liu,Xiao
刊名	JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS ; JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS
	2016
卷号	Vol.28 No.4页码:286-302
关键词	DYNAMIC VERIFICATION SYSTEMS CONSTRAINTS SELECTION STRATEGY
ISSN号	2047-7473
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2200533
专题	安徽大学
作者单位	1.Deakin Univ, Sch Informat Technol, Melbourne, Vic, Australia 2.Univ Sydney, Sch Elect & Informat Engn, Sydney, NSW 2006, Australia 3.E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China 4.Swinburne Univ Technol, Sch Software & Elect Engn, Melbourne, Vic, Australia 5.Anhui Univ, Sch Comp Sci & Technol, Hefei, Anhui, Peoples R China
推荐引用方式 GB/T 7714	Yuan,Dong,Yang,Yun,Wang,Dingxian,et al. Workflow temporal verification for monitoring parallel business processes[J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS,2016,Vol.28 No.4:286-302.
APA	Yuan,Dong,Yang,Yun,Wang,Dingxian,Wang,Futian,&Liu,Xiao.(2016).Workflow temporal verification for monitoring parallel business processes.JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS,Vol.28 No.4,286-302.
MLA	Yuan,Dong,et al."Workflow temporal verification for monitoring parallel business processes".JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS Vol.28 No.4(2016):286-302.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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