论文降重
免费查重
Behavioural equivalences of a probabilistic pi-calculus
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于Pi-Calculus的跨组织工作流建模方法
工作流建模
Pi-Calculus
跨组织流程
基于Pi-Calculus的跨组织工作流建模方法
工作流建模
Pi-Calculus
跨组织流程
PI总线协议芯片验证
航空电子
PI总线
总线验证
水稻抗稻瘟病基因Pi-ta和Pi-b多重PCR体系的构建与应用
稻瘟病
分子标记
抗性基因
多重PCR体系
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
概率
等价
演算
行为
互模拟
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国科学
主办单位：
出版周期：
月刊
ISSN：
CN：
CN 11-1789/N
开本：
出版地：
邮发代号：
创刊时间：
语种：
出版文献量（篇）
3119
总下载数（次）
13
总被引数（次）
0
期刊文献
相关文献
推荐文献
