"RIV/00216224:14330/06:00015451!RIV08-AV0-14330___" . . . "1.0"^^ . . . "30.185999999999999943"^^ . . . "Lecture Notes in Computer Science" . "30.185999999999999943"^^ . . "364C4D56CC97C3954C3EE8BE4A621929CBF859EE" . "Cluster-Based LTL Model Checking of Large Systems" . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F06%3A00015451!RIV08-AV0-14330___"^^ . "12.0"^^ . "2.5160000000000000142"^^ . "12.0"^^ . "Metodika hodnocen\u00ED, nov\u011B hodnocen\u00FD v\u00FDsledek, J_neimp \u010Dl\u00E1nek v recenzovan\u00E9m \u010Dasopise, datab\u00E1ze SCOPUS, ISSN ti\u0161t\u011Bn\u00E9 podoby, II. kategorie (ostatn\u00ED obory)." . . . . .