Dense-Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Browse the full LICS paper archive.