中国科学院计算技术研究所机构知识库(CSpace): 检索

研究单元&专题

作者

文献类型

发表日期

语种

出处

资助项目

收录类别

资助机构

CSpace

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	Liveness characterization for GFC systems .1. 期刊论文 SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 卷号: 39, 期号: 2, 页码: 196-205 作者: Cao, CG 收藏 \| 浏览/下载：45/0 \| 提交时间：2019/12/10 free-choice net liveness generalized free-choice net
	Liveness characterization for GFC systems .2. 期刊论文 SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 卷号: 39, 期号: 2, 页码: 206-216 作者: Cao, CG 收藏 \| 浏览/下载：40/0 \| 提交时间：2019/12/10 free-choice net liveness generalized free-choice net

中国科学院计算技术研究所机构知识库