@Article{         Tischner,
  Author        = "Tischner, Daniel",
  Abstract      = {We present an algorithm, which reduces the size of B\"uchi automata using fair simulation. Its time complexity is},
  date-added    = "2016-03-08 08:53:25 +0000",
  date-modified = "2016-03-08 08:53:25 +0000",
  EPrint        = "1603.01107",
  Month         = "03",
  Title         = {Minimization of B{\"u}chi Automata using Fair Simulation},
  URL           = "http://arxiv.org/abs/1603.01107",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1603.01107",
  File          = "Minimization of Büchi Automata using Fair Simulation - Tischner (0) (0) - a - a - r.pdf"
}

@Article{ Tischner, Author = "Tischner, Daniel", Abstract = {We present an algorithm, which reduces the size of B\"uchi automata using fair simulation. Its time complexity is}, date-added = "2016-03-08 08:53:25 +0000", date-modified = "2016-03-08 08:53:25 +0000", EPrint = "1603.01107", Month = "03", Title = {Minimization of B{\"u}chi Automata using Fair Simulation}, URL = "http://arxiv.org/abs/1603.01107", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1603.01107", File = "Minimization of Büchi Automata using Fair Simulation - Tischner (0) (0) - a - a - r.pdf" }