. "12"^^ . "10.667"^^ . "RIV/00216305:26230/11:PU95998!RIV12-MSM-26230___" . . "12.111"^^ . . . . "0.889"^^ . "-Zzzaze2yYfqwmDYCR6e.y-kV8U=" . . . . . "J_neimp \u010Dl\u00E1nek v recenzovan\u00E9m \u010Dasopise, datab\u00E1ze SCOPUS, ISSN ti\u0161t\u011Bn\u00E9 podoby" . . "10.766"^^ . "Forest Automata for Verification of Heap Manipulation" . "Lecture Notes in Computer Science (IF 0,513)" . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F11%3APU95998!RIV12-MSM-26230___"^^ .