科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
S
Scott T. Probst
机构信息待补充
5
H指数
9
论文数
109
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Verification of a logically controlled, solids transport system using symbolic model checking
COMPUTERS & CHEMICAL ENGINEERING
IF
3.9
1997-12-01
20
PRE
AI
Probst, ST; Powers, GJ; Long, DE; Moon, I
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
I
Il Moon
H 指数: 46 · 论文数: 326
D
David E. Long
H 指数: 26 · 论文数: 54
G
Gary J. Powers
H 指数: 21 · 论文数: 63
已加载全部