@inproceedings{Gawlitza08Precise,
  author = {Thomas Gawlitza and Helmut Seidl},
  title = {Precise {I}nterval {A}nalysis vs. {P}arity {G}ames},
  booktitle = {FM},
  editor = {Jorge Cu\'ellar and T. S. E. Maibaum and Kaisa Sere},
  month = {May},
  year = 2008,
  pages = {342-357},
  series = {Lecture Notes in Computer Science},
  volume = {5014},
  publisher = {Springer},
  address = {Turku, Finland},
}