"8.0"^^ . . "Model Checking Software" . "14.448000000000000398"^^ . . "17CA731B829E89088FAE0D4378BC94524DB412E3" . "1.8060000000000000497"^^ . "14.448000000000000398"^^ . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "Scalable Multi-core LTL Model-Checking" . "RIV/00216224:14330/07:00019427!RIV10-GA0-14330___" . . "1.0"^^ . . . . . . . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F07%3A00019427!RIV10-GA0-14330___"^^ . . . "8.0"^^ .