@PhdThesis{       Holik,
  Author        = "Holik, Lukas",
  date-added    = "2016-01-11 10:57:53 +0000",
  date-modified = "2016-01-11 10:58:55 +0000",
  Keywords      = "simulation and antichain",
  Month         = "March",
  School        = "FIT VUT v Brn{\v e}",
  Title         = "Simulations and Antichains for Efficient Handling of Finite Automata",
  Year          = "2011",
  File          = "Simulations and Antichains for Efficient Handling of Finite Automata - Holik (0) (0) - a - a - w.pdf"
}

@PhdThesis{ Holik, Author = "Holik, Lukas", date-added = "2016-01-11 10:57:53 +0000", date-modified = "2016-01-11 10:58:55 +0000", Keywords = "simulation and antichain", Month = "March", School = "FIT VUT v Brn{\v e}", Title = "Simulations and Antichains for Efficient Handling of Finite Automata", Year = "2011", File = "Simulations and Antichains for Efficient Handling of Finite Automata - Holik (0) (0) - a - a - w.pdf" }