"RIV/00216224:14330/06:00016575!RIV10-MSM-14330___" . "Methods for Quantitative Analysis of Probabilistic Pushdown Automata"@en . "1"^^ . . . "Methods for Quantitative Analysis of Probabilistic Pushdown Automata" . "Methods for Quantitative Analysis of Probabilistic Pushdown Automata" . . "485116" . . "NL - Nizozemsko" . . "P(1M0545), Z(MSM0021622419)" . . . "1571-0661" . "13"^^ . "149" . . "Infinite Markov Chains; Probabilistic Pushdown Automata"@en . . "1"^^ . "[F8AA87E800F0]" . . . . "Electronic Notes in Theoretical Computer Science" . . "RIV/00216224:14330/06:00016575" . "We present a short overview of results about the problems of qualitative/quantitative analysis of probabilistic pushdown automata."@en . . . "Methods for Quantitative Analysis of Probabilistic Pushdown Automata"@en . "Ku\u010Dera, Anton\u00EDn" . "14330" . "We present a short overview of results about the problems of qualitative/quantitative analysis of probabilistic pushdown automata." . . "1" .