@InProceedings{antichains,
  Author        = "De Wulf, M. and Doyen, L. and Henzinger, T. and Raskin, J.",
  Editor        = "Ball, Thomas and Jones, Robert",
  affiliation   = "CS, Universit{\'e} Libre de Bruxelles, Belgium",
  BookTitle     = "Proc. of CAV'06",
  date-added    = "2012-09-27 10:34:11 +0000",
  date-modified = "2013-12-22 17:38:09 +0000",
  ISBN          = "978-3-540-37406-0",
  keyword       = "Computer Science",
  Keywords      = "automata theory and antichain theory",
  doi           = "10.1007/11817963_5",
  Pages         = "17-30",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "LNCS",
  Title         = "Antichains: A New Algorithm for Checking Universality of Finite Automata",
  URL           = "http://dx.doi.org/10.1007/11817963\_5",
  Volume        = "4144",
  Year          = "2006",
  bdsk-url-1    = "http://dx.doi.org/10.1007/11817963\_5",
  File          = "Antichains A New Algorithm for Checking Universality of Finite Automata - De Wulf, Doyen, Henzinger, Raskin (0) (0) - a - a - z.pdf"
}

@InProceedings{antichains, Author = "De Wulf, M. and Doyen, L. and Henzinger, T. and Raskin, J.", Editor = "Ball, Thomas and Jones, Robert", affiliation = "CS, Universit{\'e} Libre de Bruxelles, Belgium", BookTitle = "Proc. of CAV'06", date-added = "2012-09-27 10:34:11 +0000", date-modified = "2013-12-22 17:38:09 +0000", ISBN = "978-3-540-37406-0", keyword = "Computer Science", Keywords = "automata theory and antichain theory", doi = "10.1007/11817963_5", Pages = "17-30", Publisher = "Springer Berlin / Heidelberg", Series = "LNCS", Title = "Antichains: A New Algorithm for Checking Universality of Finite Automata", URL = "http://dx.doi.org/10.1007/11817963_5", Volume = "4144", Year = "2006", bdsk-url-1 = "http://dx.doi.org/10.1007/11817963_5", File = "Antichains A New Algorithm for Checking Universality of Finite Automata - De Wulf, Doyen, Henzinger, Raskin (0) (0) - a - a - z.pdf" }