BibTeX record phd/hal/Allamigeon09

download as .bib file

@phdthesis{DBLP:phd/hal/Allamigeon09,
  author    = {Xavier Allamigeon},
  title     = {Static analysis of memory manipulations by abstract interpretation
               - Algorithmics of tropical polyhedra, and application to abstract
               interpretation. (Analyse statique de manipulations de m{\'{e}}moire
               par interpr{\'{e}}tation abstraite - Algorithmique des poly{\`{e}}dres
               tropicaux, et application {\`{a}} l'interpr{\'{e}}tation abstraite)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2009},
  url       = {https://tel.archives-ouvertes.fr/pastel-00005850},
  timestamp = {Thu, 14 Jul 2016 18:56:26 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Allamigeon09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier