科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
R
Ri Ouyang
East China Jiaotong University
3
H指数
5
论文数
19
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
A formal analysis method for composition protocol based on model checking
SCIENTIFIC REPORTS
IF
3.9
2022-05-19
5
OA
AI
Xiao, Meihua; Zhao, Hanyu; Yang, Ke; Ri Ouyang; Song, Weiwei
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
K
Ke Yang
H 指数: 22 · 论文数: 112
M
Meihua Xiao
H 指数: 8 · 论文数: 51
W
Weiwei Song
H 指数: 2 · 论文数: 2
H
Hanyu Zhao
H 指数: 2 · 论文数: 2
已加载全部