中文版 | English
ISCAS OpenIR  > 基础软件与系统重点实验室
嵌套谓词等式系与弱互模拟
其他题名nesting predicate equation systems and weak bisimulations
林惠民
1999
发表期刊软件学报
ISSN1000-9825
卷号10期号:11页码:1121
收录类别wanfang,cscd
关键词传值进程 互模拟 谓词等式系
部门归属计算机科学国家重点实验室
资助者National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4486
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714		 林惠民. 嵌套谓词等式系与弱互模拟[J]. 软件学报,1999,10(11):1121.
APA 林惠民.(1999).嵌套谓词等式系与弱互模拟.软件学报,10(11),1121.
MLA 林惠民."嵌套谓词等式系与弱互模拟".软件学报 10.11(1999):1121.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
19.pdf（332KB） 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[林惠民]的文章
百度学术
百度学术中相似的文章
[林惠民]的文章
必应学术
必应学术中相似的文章
[林惠民]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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