. . . . . . . . "0"^^ . "0"^^ . "XkmIk0PTX8-2rtUGtxUELwkAguw=" . "RIV/00216305:26230/09:PU82660!RIV11-GA0-26230___" . "The Design of On-line Checkers and Their Use in Verification and Testing" . . "\u010Cl\u00E1nek v \u010Dasopise m\u00E1 ISSN, ale to nespad\u00E1 do \u017E\u00E1dn\u00E9 bodovan\u00E9 kategorie." . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F09%3APU82660!RIV11-GA0-26230___"^^ . "1"^^ . . "Acta Electrotechnica et Informatica" . . . . . . .