Logics and Models of Real-Time: A (1992)

by R Alur, T A Henzinger
Venue:Survey, REX Workshop, Real-time: Theory in Practice, 74-106. LNCS 600