QQ客服 官方微博 反馈留言

	Anti-chain based algorithms for timed/probabilistic refinement checking
	Ting WANG[1]; Tieming CHEN[1]; Yang LIU[2]; Ye WANG[3]
	2018
卷号	61期号:5页码:182
关键词	检查工具 算法集成 精炼 反链 非概率 空间爆炸 模型 ing
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5549951
专题	浙江工商大学
作者单位	1.[1]College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310000, China 2.[2]School of Computer Engineering, Nanyang Technological University, Singapore 639798, Singapore 3.[3]School of Computer and Information Engineering, Zhejiang Gongshang University, Hangzhou 310000, China
推荐引用方式 GB/T 7714	Ting WANG[1],Tieming CHEN[1],Yang LIU[2],et al. Anti-chain based algorithms for timed/probabilistic refinement checking[J],2018,61(5):182.
APA	Ting WANG[1],Tieming CHEN[1],Yang LIU[2],&Ye WANG[3].(2018).Anti-chain based algorithms for timed/probabilistic refinement checking.,61(5),182.
MLA	Ting WANG[1],et al."Anti-chain based algorithms for timed/probabilistic refinement checking".61.5(2018):182.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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