. "High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design" . . "8D3318B41BC9B937F97551FF3B8070CF437A6586" . "RIV/63839172:_____/05:00000111!RIV06-MSM-63839172" . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F63839172%3A_____%2F05%3A00000111!RIV06-MSM-63839172"^^ . "12.324999999999999289"^^ . "Metodika hodnocen\u00ED, nov\u011B hodnocen\u00FD v\u00FDsledek, J_imp \u010Dl\u00E1nek v jin\u00E9m impaktovan\u00E9m \u010Dasopise." . . "12.324999999999999289"^^ . "1.0"^^ . . . . . "12.324999999999999289"^^ . . "12.324999999999999289"^^ . "1.0"^^ . . . "Lecture Notes in Computer Science" . .