QQ客服 官方微博 反馈留言

	Model-checking security protocol with propositional projection temporal logic
	Wang, Xiaobing; Duan, Zhenhua; Yang, Chen
刊名	西安交通大学学报
	2010
卷号	44期号:8
ISSN号	0253-987X
URL标识	查看原文
收录类别	EI ; CNKI
语种	中文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/3738582
专题	武汉大学
推荐引用方式 GB/T 7714	Wang, Xiaobing,Duan, Zhenhua,Yang, Chen. Model-checking security protocol with propositional projection temporal logic[J]. 西安交通大学学报,2010,44(8).
APA	Wang, Xiaobing,Duan, Zhenhua,&Yang, Chen.(2010).Model-checking security protocol with propositional projection temporal logic.西安交通大学学报,44(8).
MLA	Wang, Xiaobing,et al."Model-checking security protocol with propositional projection temporal logic".西安交通大学学报 44.8(2010).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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