Ioan I. Macarie, Mitsunori Ogihara. Properties of Probabilistic Pushdown Automata (Extended Abstract). In Horst Reichel, editor, Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings. Volume 965 of Lecture Notes in Computer Science, pages 343-352, Springer, 1995.
Abstract is missing.