. "0.0"^^ . "0.0"^^ . "CTIT Workshop Proceedings" . "0.0"^^ . . "0.0"^^ . "39786F0A08396D6238CDE6A669F03D77C1B7F356" . . . "Shared Hash Tables in Parallel Model Checking" . . . . "1.0"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F07%3A00019459!RIV10-GA0-14330___"^^ . . . "\u010Cl\u00E1nek v \u010Dasopise m\u00E1 ISSN, ale to nespad\u00E1 do \u017E\u00E1dn\u00E9 bodovan\u00E9 kategorie." . "RIV/00216224:14330/07:00019459!RIV10-GA0-14330___" . . . "1.0"^^ .