"ZeBVCBe4Y+EpypVzwbMYVpIgzh4=" . . . "8.074"^^ . . "Scalable Multi-core LTL Model-Checking" . . "8.074"^^ . "1"^^ . . . "8"^^ . "8"^^ . "RIV/00216224:14330/07:00019427!RIV08-AV0-14330___" . . . . "Lecture Notes in Computer Science" . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F07%3A00019427!RIV08-AV0-14330___"^^ . . "J_neimp \u010Dl\u00E1nek v recenzovan\u00E9m \u010Dasopise, datab\u00E1ze SCOPUS, ISSN ti\u0161t\u011Bn\u00E9 podoby, II. kategorie (ostatn\u00ED obory)" . .