Past pushdown timed automata and safety verification (0)

by Z Dang, T Bultan, O H Ibarra, R A Kemmerer
Venue:Theor. Comput. Sci