A Logical Characterization for Dense-Time Visibly Pushdown Automata.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Browse the full LATA paper archive.