@inproceedings{dblp-conf-lata-bhavedkpt16,
  title = {A Logical Characterization for Dense-Time Visibly Pushdown Automata},
  author = {Devendra Bhave and Vrunda Dave and Shankara Narayanan Krishna and Ramchandra Phawade and Ashutosh Trivedi},
  year = {2016},
  url = {https://dblp.org/rec/conf/lata/BhaveDKPT16},
  booktitle = {LATA 2016}
}