"WHVM+X8bkI3v3GdXsjViVwRIikg=" . "14.621"^^ . . "1"^^ . "J_imp \u010Dl\u00E1nek v impaktovan\u00E9m \u010Dasopise" . . "International Journal of Foundations of Computer Science" . . "RIV/67985807:_____/07:00079196!RIV08-AV0-67985807" . "Guaranteed Termination in the Verification of LTL Properties of Non-Linear Robust Discrete Time Hybrid Systems" . . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F67985807%3A_____%2F07%3A00079196!RIV08-AV0-67985807"^^ . . . . . "14.486"^^ . . "14.486"^^ . . "14.621"^^ .