Model checking probabilistic pushdown automata (0)

by A Kučera, J Esparza, R Mayr
Venue:Logical Methods in Computer Science