"20.123999999999998778"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F06%3A00016575!RIV10-MSM-14330___"^^ . "2.5160000000000000142"^^ . "20.123999999999998778"^^ . "Methods for Quantitative Analysis of Probabilistic Pushdown Automata" . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . . . . . "2164036EAAB8A017C57CC76A0B09A3F2C8AB7DC6" . . . "8.0"^^ . . "8.0"^^ . . "RIV/00216224:14330/06:00016575!RIV10-MSM-14330___" . . "1.0"^^ . . "Electronic Notes in Theoretical Computer Science" .