Kratochvíla Tomáš (
search by name in IS MU
/auth
)
Body na spoluautora
Body za publikaci pro MU
Odkaz ISVaV
4,82
14,45
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
Back
(c) Michal Bulant, 2011