"\u010Cl\u00E1nek v \u010Dasopise m\u00E1 ISSN, ale to nespad\u00E1 do \u017E\u00E1dn\u00E9 bodovan\u00E9 kategorie." . "0"^^ . . . . "y9GisLTKu47!v+ufWmr1F3Ng9uQ=" . . . . . "1"^^ . . . . . . . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F09%3A00028691!RIV11-GA0-14330___"^^ . . "DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking" . "Electronic Proceedings in Theoretical Computer Science" . "RIV/00216224:14330/09:00028691!RIV11-GA0-14330___" . . "0"^^ . . .