@InProceedings{   legall-jeannet-sas,
  Author        = "Le Gall, T. and Jeannet, B.",
  Address       = "Kongens Lyngby, Denmark",
  BookTitle     = "The 14th International Static Analysis Symposium, SAS 2007",
  date-added    = "2012-09-24 14:46:54 +0200",
  date-modified = "2012-09-25 10:35:18 +0200",
  Keywords      = "automata theory",
  Month         = "August",
  Number        = "4634",
  Pages         = "52--68",
  Series        = "LNCS",
  Title         = "Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification",
  Year          = "2007",
  File          = "Lattice automata a representation of languages over an infinite alphabet, and some applications to verification - Le Gall, Jeannet (0) (0) - a - a - w.pdf"
}

@InProceedings{ legall-jeannet-sas, Author = "Le Gall, T. and Jeannet, B.", Address = "Kongens Lyngby, Denmark", BookTitle = "The 14th International Static Analysis Symposium, SAS 2007", date-added = "2012-09-24 14:46:54 +0200", date-modified = "2012-09-25 10:35:18 +0200", Keywords = "automata theory", Month = "August", Number = "4634", Pages = "52--68", Series = "LNCS", Title = "Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification", Year = "2007", File = "Lattice automata a representation of languages over an infinite alphabet, and some applications to verification - Le Gall, Jeannet (0) (0) - a - a - w.pdf" }