"8.074"^^ . . . "8.074"^^ . . "8"^^ . "8"^^ . . . . . . "2gRGS.fUQhjUwLAKZyio63!WGGA=" . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . . "Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LISC 2009" . . . "RIV/67985840:_____/09:00336087!RIV10-MSM-67985840" . . "Winning concurrent reachability games requires doubly-exponential patience" . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F67985840%3A_____%2F09%3A00336087!RIV10-MSM-67985840"^^ . . "1"^^ . . .