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]
@inproceedings{DangBIK01,
title = {Past Pushdown Timed Automata},
author = {Zhe Dang and Tevfik Bultan and Oscar H. Ibarra and Richard A. Kemmerer},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2494/24940074.htm},
researchr = {https://researchr.org/publication/DangBIK01},
cites = {0},
citedby = {0},
pages = {74-86},
booktitle = {Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers},
editor = {Bruce W. Watson and Derick Wood},
volume = {2494},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00400-9},
}