@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}, }