@inproceedings{Chen09itvpol,
  author = {Liqian Chen and Antoine Min\'e and Ji Wang and Patrick Cousot},
  title = {Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships},
  booktitle = {16th International Static Analysis Symposium (SAS 2009)},
  editor = {J. Palsberg and Z. Su},
  month = {August},
  year =  {2009},
  pages = {309--325},
  series = {LNCS},
  volume = {5673},
  publisher = {Springer},
  address = {Los Angeles, CA, USA},
}