@PhdThesis{       Quaas,
  Author        = "Quaas, Karin",
  date-added    = "2013-10-23 19:51:19 +0000",
  date-modified = "2013-10-23 19:52:12 +0000",
  Title         = {Kleene-Sch{\"u}tzenberger and B{\"u}chi Theorems for Weighted Timed Automata},
  Year          = "2010",
  File          = "Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata - Quaas (0) (0) - a - a - r.pdf"
}

@PhdThesis{ Quaas, Author = "Quaas, Karin", date-added = "2013-10-23 19:51:19 +0000", date-modified = "2013-10-23 19:52:12 +0000", Title = {Kleene-Sch{\"u}tzenberger and B{\"u}chi Theorems for Weighted Timed Automata}, Year = "2010", File = "Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata - Quaas (0) (0) - a - a - r.pdf" }