. . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F08%3A00024166!RIV10-GA0-14330___"^^ . "aw!.boS1tCiFL1dj7dyMSm4s2po=" . "J_neimp \u010Dl\u00E1nek v recenzovan\u00E9m \u010Dasopise, datab\u00E1ze SCOPUS, ISSN ti\u0161t\u011Bn\u00E9 podoby, II. kategorie (ostatn\u00ED obory)" . "Electronic Notes in Theoretical Computer Science" . . . "1"^^ . . "8"^^ . . "8"^^ . "8.074"^^ . . "8.074"^^ . . . . "Shared Hash Tables in Parallel Model Checking" . "RIV/00216224:14330/08:00024166!RIV10-GA0-14330___" . .