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

T. Vejpustek

masaryk university brno

3H指数
6论文数
116被引数
收录论文 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
M
Martin Vejnar
H 指数: 2 · 论文数: 3
查看更多