@PhdThesis{       Perevoshchiko:PhD,
  Author        = "Perevoshchiko, Vitaly",
  date-added    = "2021-04-29 11:18:46 +0200",
  date-modified = "2021-04-29 11:19:21 +0200",
  Title         = "Multi-weighted Automata Models and Quantitative Logics",
  Year          = "2015",
  File          = "Multi-weighted Automata Models and Quantitative LogicsV - olltext (PDF) - g.pdf"
}

@PhdThesis{ Perevoshchiko:PhD, Author = "Perevoshchiko, Vitaly", date-added = "2021-04-29 11:18:46 +0200", date-modified = "2021-04-29 11:19:21 +0200", Title = "Multi-weighted Automata Models and Quantitative Logics", Year = "2015", File = "Multi-weighted Automata Models and Quantitative LogicsV - olltext (PDF) - g.pdf" }