Parametric Quantitative Temporal Reasoning

E. Allen Emerson, Richard J. Trefler. Parametric Quantitative Temporal Reasoning. In LICS. pages 336-343, 1999. [doi]

Abstract

Abstract is missing.