中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
非对称选择网活性的一个多项式时间判定

文献类型:期刊论文

作者焦莉 ; 陆维明
刊名软件学报
出版日期2001
卷号12期号:3
关键词非对称选择网 活性 活性单调性 多项式时间
其他题名a polynomial time judgement for liveness of asymmetricchoice nets
收录类别wanfang
公开日期2010-08-24
源URL[http://124.16.136.157/handle/311060/4638]  
专题软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式
GB/T 7714
焦莉,陆维明. 非对称选择网活性的一个多项式时间判定[J]. 软件学报,2001,12(3).
APA 焦莉,&陆维明.(2001).非对称选择网活性的一个多项式时间判定.软件学报,12(3).
MLA 焦莉,et al."非对称选择网活性的一个多项式时间判定".软件学报 12.3(2001).

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

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