@incollection{DrostePerevoshchikov:2015,
    Author = {Droste, Manfred and Perevoshchikov, Vitaly},
    BookTitle = {Fields of Logic and Computation II},
    Editor = {Beklemishev, Lev D. and Blass, Andreas and Dershowitz, Nachum and Finkbeiner, Bernd and Schulte, Wolfram},
    File = {Droste-Perevoshchikov-YuriFest2015-final (0) - a - a - f.pdf},
    ISBN = {978-3-319-23533-2},
    Keywords = {Timed automata; Weighted automata; Monadic second-order logic; Weighted logic; Formal power series; Pushdown automata; Timed stack; timed pushdown automata},
    Language = {English},
    Pages = {153-173},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Logics for Weighted Timed Pushdown Automata},
    URL = {http://dx.doi.org/10.1007/978-3-319-23534-9\_9},
    Volume = {9300},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-23534-9\_9},
    date-added = {2015-12-26 16:53:00 +0000},
    date-modified = {2015-12-26 17:03:30 +0000},
    file-2 = {Logics for Weighted Timed Pushdown Automata - Droste, Perevoshchikov (0) (0) - a - a - f.pdf},
    file-3 = {Logics for Weighted Timed Pushdown Automata - Droste, Perevoshchikov (1) (0) - a - a - f.pdf},
    related-to = {DrostePerevoshchikov:unpublished},
    doi = {10.1007/978-3-319-23534-9_9}
}

@incollection{DrostePerevoshchikov:2015, Author = {Droste, Manfred and Perevoshchikov, Vitaly}, BookTitle = {Fields of Logic and Computation II}, Editor = {Beklemishev, Lev D. and Blass, Andreas and Dershowitz, Nachum and Finkbeiner, Bernd and Schulte, Wolfram}, File = {Droste-Perevoshchikov-YuriFest2015-final (0) - a - a - f.pdf}, ISBN = {978-3-319-23533-2}, Keywords = {Timed automata; Weighted automata; Monadic second-order logic; Weighted logic; Formal power series; Pushdown automata; Timed stack; timed pushdown automata}, Language = {English}, Pages = {153-173}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Logics for Weighted Timed Pushdown Automata}, URL = {http://dx.doi.org/10.1007/978-3-319-23534-9_9}, Volume = {9300}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-23534-9_9}, date-added = {2015-12-26 16:53:00 +0000}, date-modified = {2015-12-26 17:03:30 +0000}, file-2 = {Logics for Weighted Timed Pushdown Automata - Droste, Perevoshchikov (0) (0) - a - a - f.pdf}, file-3 = {Logics for Weighted Timed Pushdown Automata - Droste, Perevoshchikov (1) (0) - a - a - f.pdf}, related-to = {DrostePerevoshchikov:unpublished}, doi = {10.1007/978-3-319-23534-9_9} }