You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
A Logical Characterization for Dense-Time Visibly Pushdown Automata
Language and Automata Theory and Applications
Lecture notes in computer science, February 2016
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi