. . . . "RIV/00216305:26230/08:PU76736!RIV10-MSM-26230___" . . "1.0"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F08%3APU76736!RIV10-MSM-26230___"^^ . "17.60800000000000054"^^ . . "17.60800000000000054"^^ . "83F6AF549648D0C3A051A952A55790B3388C290F" . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "1.0"^^ . "17.60800000000000054"^^ . "ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS" . "17.60800000000000054"^^ . . "Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability" . . . . .