首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Thomas Häder | Synapse
TH
Thomas Häder
Formal Methods in Verification
TU Wien
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
19 pubs · 291 cites · h-index 8
Affiliations
TU Wien
University of Regensburg
Max Planck Institute for Biophysical Chemistry
See all
Publications