Parametric realtime reasoning (1993)

by Rajeev Alur, Thomas A Henzinger, Moshe Y Vardi
Venue:In STOC 93