Timed pushdown automata revisited (2015)

by L Clemente, S Lasota
Venue:In Proc. of LICS’15