QQ客服 官方微博 反馈留言

	A method to check liveness of WS3PR
	Wang, Shouguang; Liu, Miao; Zhou, Mengchu; Wu, Wenhui
	2014
关键词	Computation complexity deadlock Deadlock free Liveness Sequential process Supervisory controllers Well model
期号	[db:dc_citation_issue]
DOI	[db:dc_identifier_doi]
页码	4028-4033
会议录	Proceedings of the 33rd Chinese Control Conference, CCC 2014
URL标识	查看原文
ISSN号	1934-1768
WOS记录号	[DB:DC_IDENTIFIER_WOSID]
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/3273755
专题	西安交通大学
推荐引用方式 GB/T 7714	Wang, Shouguang,Liu, Miao,Zhou, Mengchu,et al. A method to check liveness of WS3PR[C]. 见:.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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