Parametric Quantitative Temporal Reasoning.

E. Allen Emerson, Richard J. Trefler

Browse the full LICS paper archive.