Sciweavers

STACS
2005
Springer

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

14 years 6 months ago
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
Tomás Brázdil, Antonín Kucera
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where STACS
Authors Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
Comments (0)