"8.074"^^ . . "8.074"^^ . . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters (dohled\u00E1no podle ISBN)" . . "RIV/00216224:14330/08:00024825!RIV10-GA0-14330___" . . "Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives" . "Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II." . . . "H14nEzJzcherLLPVwxMcc50eXbU=" . "8"^^ . . "8"^^ . . . . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F08%3A00024825!RIV10-GA0-14330___"^^ . "1"^^ .