"Proceedings of the Fifth International Conference on Information in Control, Automation and Robotics" . "Recursive and Backward Reasoning in the Verification of Hybrid Systems" . . . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "1"^^ . . . "9.905"^^ . "RIV/67985807:_____/08:00314335!RIV09-GA0-67985807" . "9.905"^^ . . "EEPN.IDC2!FXxAkHMPt+yM.cSEs=" . . "http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F67985807%3A_____%2F08%3A00314335!RIV09-GA0-67985807"^^ . . . . .