@InProceedings{   DBLP:conf/acsd/BaarirD07,
  Author        = "Baarir, Souheib and Duret-Lutz, Alexandre",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "ACSD",
  date-added    = "2013-07-15 10:26:10 +0000",
  date-modified = "2013-07-15 10:26:10 +0000",
  ee            = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.49",
  Pages         = "41-50",
  Title         = "Emptiness Check of Powerset Buchi Automata using Inclusion Tests",
  Year          = "2007",
  File          = "Emptiness Check of Powerset Buchi Automata using Inclusion Tests - Baarir, Duret-Lutz (0) (0) - a - a - v.pdf"
}

@InProceedings{ DBLP:conf/acsd/BaarirD07, Author = "Baarir, Souheib and Duret-Lutz, Alexandre", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "ACSD", date-added = "2013-07-15 10:26:10 +0000", date-modified = "2013-07-15 10:26:10 +0000", ee = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.49", Pages = "41-50", Title = "Emptiness Check of Powerset Buchi Automata using Inclusion Tests", Year = "2007", File = "Emptiness Check of Powerset Buchi Automata using Inclusion Tests - Baarir, Duret-Lutz (0) (0) - a - a - v.pdf" }