"3"^^ . . . . "Branching-Time Model-Checking of Probabilistic Pushdown Automata" . . . . "Bro\u017Eek, V\u00E1clav" . . "Complete classifiaction of computational complexity of the model-checking problem for probabilistic pushdown automata and qualitative fragments of the logics PCTL, PCTL* and PECTL* is reached."@en . . . "Complete classifiaction of computational complexity of the model-checking problem for probabilistic pushdown automata and qualitative fragments of the logics PCTL, PCTL* and PECTL* is reached." . "Branching-Time Model-Checking of Probabilistic Pushdown Automata"@en . "Br\u00E1zdil, Tom\u00E1\u0161" . "Branching-Time Model-Checking of Probabilistic Pushdown Automata" . . "412226" . "P(1M0545), Z(MSM0021622419)" . "3"^^ . "model-checking; Markov chains; temporal logics; probabilistic pushdown automata"@en . "RIV/00216224:14330/07:00047829" . "RIV/00216224:14330/07:00047829!RIV11-MSM-14330___" . "14330" . . . "Branching-Time Model-Checking of Probabilistic Pushdown Automata"@en . . "[1F09855871B7]" . "Forejt, Vojt\u011Bch" . . . . . . . .