Parametric real-time reasoning (0)

by R Alur, T Henzinger, M Vardi
Venue:In Proc. of the 25th Ann. Symp. on Theory of Computing (STOC’93