@inproceedings{DrostePerevoshchikov:CSR:2015,
    Author = {Droste, Manfred and Perevoshchikov, Vitaly},
    BookTitle = {Proc. of CSR'15},
    Editor = {Beklemishev, Lev D. and Musatov, Daniil V.},
    File = {Droste-Perevoshchikov-CSR15-final (0) - a - a - f.pdf},
    ISBN = {978-3-319-20296-9},
    Keywords = {timed pushdown automata; visibly pushdown languages; Timed languages; Relative distance logic; Matchings},
    Language = {English},
    Pages = {189--203},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {A Logical Characterization of Timed Pushdown Languages},
    URL = {http://dx.doi.org/10.1007/978-3-319-20297-6\_13},
    Volume = {9139},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-20297-6\_13},
    date-added = {2015-12-26 16:56:01 +0000},
    date-modified = {2019-08-16 16:44:30 +0200},
    doi = {10.1007/978-3-319-20297-6_13}
}

@inproceedings{DrostePerevoshchikov:CSR:2015, Author = {Droste, Manfred and Perevoshchikov, Vitaly}, BookTitle = {Proc. of CSR'15}, Editor = {Beklemishev, Lev D. and Musatov, Daniil V.}, File = {Droste-Perevoshchikov-CSR15-final (0) - a - a - f.pdf}, ISBN = {978-3-319-20296-9}, Keywords = {timed pushdown automata; visibly pushdown languages; Timed languages; Relative distance logic; Matchings}, Language = {English}, Pages = {189--203}, Publisher = {Springer}, Series = {LNCS}, Title = {A Logical Characterization of Timed Pushdown Languages}, URL = {http://dx.doi.org/10.1007/978-3-319-20297-6_13}, Volume = {9139}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-20297-6_13}, date-added = {2015-12-26 16:56:01 +0000}, date-modified = {2019-08-16 16:44:30 +0200}, doi = {10.1007/978-3-319-20297-6_13} }