@Unpublished{     DrostePerevoshchikov:unpublished,
  Author        = "Droste, Manfred and Perevoshchikov, Vitaly",
  date-added    = "2014-11-27 13:27:46 +0000",
  date-modified = "2015-12-26 16:53:19 +0000",
  Keywords      = "submission",
  Note          = "from S{{\l}}awek as FOSSACS'15 submission",
  Title         = "A Logical Characterization of Timed Pushdown Languages",
  File          = "A Logical Characterization of Timed Pushdown Languages - Droste, Perevoshchikov (0) (0) - a - a - f.pdf"
}

@Unpublished{ DrostePerevoshchikov:unpublished, Author = "Droste, Manfred and Perevoshchikov, Vitaly", date-added = "2014-11-27 13:27:46 +0000", date-modified = "2015-12-26 16:53:19 +0000", Keywords = "submission", Note = "from S{{\l}}awek as FOSSACS'15 submission", Title = "A Logical Characterization of Timed Pushdown Languages", File = "A Logical Characterization of Timed Pushdown Languages - Droste, Perevoshchikov (0) (0) - a - a - f.pdf" }