科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
B
B. Srivathsan
tata consultancy services limited (tcs)
10
H指数
49
论文数
250
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Using Communication to Bound Clock Drift in Local-Timed Negotiations
利用通信界定本地时间协商中的时钟漂移
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Garg, Abhinav; Mukund, Madhavan; Roy, Adwitee; Srivathsan, B.; Viswanathan, Gautham
分享
收藏
An Automaton Model to Succinctly Represent Suffix-Based Specifications of a Concurrent System
用于简洁表示并发系统基于后缀规范的自动机模型
NETWORKED SYSTEMS, NETYS 2025
IF
0
2026-01-01
0
PRE
AI
Keerthan, R.; Srivathsan, B.; Venkatesh, R.
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Madhavan Mukund
H 指数: 20 · 论文数: 201
A
Abhinav Garg
H 指数: 16 · 论文数: 118
A
Adwitee Roy
H 指数: 2 · 论文数: 3
R
R Venkatesh
H 指数: 1 · 论文数: 4
R
R Keerthan
H 指数: 0 · 论文数: 4
查看更多