logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Adam Streck

masaryk university brno

6H指数
19论文数
256被引数
收录论文 1
发表时间
logo
On Parameter Synthesis by Parallel Model Checking
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2012-05-01
err34
PREAI
errBarnat, Jiri; Brim, Lubos; Krejci, Adam; Streck, Adam; Safranek, David; Vejnar, Martin; Vejpustek, Tomas
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
L
Luboš Brim
H 指数: 27 · 论文数: 224
J
Jǐŕı Barnat
H 指数: 25 · 论文数: 135
D
David Šafránek
H 指数: 15 · 论文数: 139
T
T. Vejpustek
H 指数: 3 · 论文数: 6
M
Martin Vejnar
H 指数: 2 · 论文数: 3
查看更多