. "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . "1.0"^^ . . . "Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)" . "0.0"^^ . "A44B6854429D1BD8DC41D32BD4B2F82623F4C040" . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F07%3APU70921!RIV08-MSM-26230___"^^ . "0.0"^^ . . . "0.0"^^ . "RIV/00216305:26230/07:PU70921!RIV08-MSM-26230___" . . "0.0"^^ . . . "1.0"^^ . . . "Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures" . .