@InProceedings{   Tsai:2010uu,
  Author        = "Tsai, Ming-Hsien and Fogarty, Seth and Vardi, Moshe Y and Tsay, Yih-Kuen",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proceedings of the 15th international conference on Implementation and application of automata",
  date-added    = "2012-03-06 11:23:01 +0100",
  date-modified = "2012-10-18 08:49:16 +0000",
  Keywords      = "complementation of Buechi automata",
  Month         = "June",
  Pages         = "261--271",
  Publisher     = "Springer-Verlag",
  rating        = "0",
  read          = "Yes",
  Series        = "CIAA'10",
  Title         = "{State of Buechi Complementation (Full Version)}",
  uri           = "http://dl.acm.org/citation.cfm?id=1964285.1964313",
  Year          = "2010",
  File          = "State of Buechi Complementation (Full Version) - Tsai, Fogarty, Vardi, Tsay (0) (0) - a - a - u.pdf"
}

@InProceedings{ Tsai:2010uu, Author = "Tsai, Ming-Hsien and Fogarty, Seth and Vardi, Moshe Y and Tsay, Yih-Kuen", Address = "Berlin, Heidelberg", BookTitle = "Proceedings of the 15th international conference on Implementation and application of automata", date-added = "2012-03-06 11:23:01 +0100", date-modified = "2012-10-18 08:49:16 +0000", Keywords = "complementation of Buechi automata", Month = "June", Pages = "261--271", Publisher = "Springer-Verlag", rating = "0", read = "Yes", Series = "CIAA'10", Title = "{State of Buechi Complementation (Full Version)}", uri = "http://dl.acm.org/citation.cfm?id=1964285.1964313", Year = "2010", File = "State of Buechi Complementation (Full Version) - Tsai, Fogarty, Vardi, Tsay (0) (0) - a - a - u.pdf" }