@inproceedings{Gawlitza09Polynomial,
  author = {Thomas Gawlitza and J\'er\^ome Leroux and Jan Reineke and Helmut Seidl and Gr\'egoire Sutre and Reinhard Wilhelm},
  title = {Polynomial {P}recise {I}nterval {A}nalysis {R}evisited},
  booktitle = {Efficient Algorithms},
  editor = {Susanne Albers and Helmut Alt and Stefan N\"aher},
  year = 2009,
  pages = {422-437},
  publisher = {Springer, LNCS 5760},
}