首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Rupak Majumdar | Synapse
RM
Rupak Majumdar
Formal Methods in Verification
Max Planck Institute for Software Systems
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
480 pubs · 14,515 cites · h-index 60
Affiliations
Max Planck Institute for Software Systems
Saarbrücken Stadtwerke (Germany)
Bernstein Center for Computational Neuroscience Tübingen
See all
Publications