Parametric quantitative temporal reasoning (1999)

by E A Emerson, R J Trefler
Venue:In LICS 99