@InProceedings{   Fijalkow:Colcombet:FOSSACS:2019,
  Author        = {Colcombet, Thomas and Fijalkow, Nathana{\"e}l},
  BookTitle     = "Proc. of FOSSACS'19",
  date-added    = "2019-03-18 13:35:29 +0100",
  date-modified = "2019-03-18 13:36:18 +0100",
  Title         = "Universal graphs and Good for small games automata: New tools for infinite duration games",
  Year          = "2019",
  File          = "main-fossacs2019 (0) - a - a - s.pdf"
}

@InProceedings{ Fijalkow:Colcombet:FOSSACS:2019, Author = {Colcombet, Thomas and Fijalkow, Nathana{\"e}l}, BookTitle = "Proc. of FOSSACS'19", date-added = "2019-03-18 13:35:29 +0100", date-modified = "2019-03-18 13:36:18 +0100", Title = "Universal graphs and Good for small games automata: New tools for infinite duration games", Year = "2019", File = "main-fossacs2019 (0) - a - a - s.pdf" }