@InProceedings{   Devendra-BhaveKrishnaTrivedi:LATA:2016,
  Author        = "Bhave, Devendra and Dave, Vrunda and Krishna, Shankara Narayanan and Phawade, Ramchandra and Trivedi, Ashutosh",
  Editor        = "Dediu, Adrian-Horia and Janou{\v{s}}ek, Jan and Mart{\'\i}n-Vide, Carlos and Truthe, Bianca",
  BookTitle     = "Proc. of LATA'16",
  date-added    = "2015-12-26 17:03:38 +0000",
  date-modified = "2019-08-16 17:24:30 +0200",
  Keywords      = "citesme! and timed pushdown automata",
  Pages         = "89--101",
  Publisher     = "Springer",
  Title         = "A Logical Characterization for Dense-time Visibly Pushdown Automata",
  Year          = "2016",
  File          = "A Logical Characterization for Dense-time Visibly Pushdown Automata - Devendra Bhave, Trivedi (0) (0) - a - a - w.pdf"
}

@InProceedings{ Devendra-BhaveKrishnaTrivedi:LATA:2016, Author = "Bhave, Devendra and Dave, Vrunda and Krishna, Shankara Narayanan and Phawade, Ramchandra and Trivedi, Ashutosh", Editor = "Dediu, Adrian-Horia and Janou{\v{s}}ek, Jan and Mart{\'\i}n-Vide, Carlos and Truthe, Bianca", BookTitle = "Proc. of LATA'16", date-added = "2015-12-26 17:03:38 +0000", date-modified = "2019-08-16 17:24:30 +0200", Keywords = "citesme! and timed pushdown automata", Pages = "89--101", Publisher = "Springer", Title = "A Logical Characterization for Dense-time Visibly Pushdown Automata", Year = "2016", File = "A Logical Characterization for Dense-time Visibly Pushdown Automata - Devendra Bhave, Trivedi (0) (0) - a - a - w.pdf" }