Logics and models of real time: A survey (0)

by R Alur, T Henzinger
Venue:Proc. REX Workshop