Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer. Past Pushdown Timed Automata. In Bruce W. Watson, Derick Wood, editors, Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers. Volume 2494 of Lecture Notes in Computer Science, pages 74-86, Springer, 2001. [doi]
Abstract is missing.