"http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F67985807%3A_____%2F08%3A00314335!RIV09-AV0-67985807"^^ . "RIV/67985807:_____/08:00314335!RIV09-AV0-67985807" . "Proceedings of the Fifth International Conference on Information in Control, Automation and Robotics" . . . "1"^^ . . . "10.204"^^ . . "10.204"^^ . . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters (dohled\u00E1no podle ISBN)" . . . "EEPN.IDC2!FXxAkHMPt+yM.cSEs=" . . "8"^^ . . "Recursive and Backward Reasoning in the Verification of Hybrid Systems" . "8"^^ . .