@Article{         KieferMurawskiOuaknineWachterWorrell:LMCS:2013,
  Author        = "Kiefer, S and Murawski, AS and Ouaknine, J and Wachter, B and Worrell, J",
  date-added    = "2020-10-20 14:50:16 +0200",
  date-modified = "2023-10-02 08:08:12 +0200",
  Journal       = "LMCS",
  Number        = "1",
  Publisher     = "LOGICAL METHODS IN COMPUTER SCIENCE",
  Title         = "On the complexity of equivalence and minimisation for q-weighted automata",
  Volume        = "9",
  Year          = "2013",
  File          = "On the complexity of equivalence and minimisation for q-weighted automata.pdf"
}

@Article{ KieferMurawskiOuaknineWachterWorrell:LMCS:2013, Author = "Kiefer, S and Murawski, AS and Ouaknine, J and Wachter, B and Worrell, J", date-added = "2020-10-20 14:50:16 +0200", date-modified = "2023-10-02 08:08:12 +0200", Journal = "LMCS", Number = "1", Publisher = "LOGICAL METHODS IN COMPUTER SCIENCE", Title = "On the complexity of equivalence and minimisation for q-weighted automata", Volume = "9", Year = "2013", File = "On the complexity of equivalence and minimisation for q-weighted automata.pdf" }