Precise Interval Analysis vs. Parity Games.

Thomas Gawlitza, Helmut Seidl

Browse the full FM paper archive.