Timed Pushdown Automata Revisited.

Lorenzo Clemente, Slawomir Lasota

Browse the full LICS paper archive.