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

A. Krejci

masaryk university brno

1H指数
2论文数
46被引数
收录论文 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
A
Adam Streck
H 指数: 6 · 论文数: 19
T
T. Vejpustek
H 指数: 3 · 论文数: 6
查看更多