Model-Checking in Dense Real-Time (1993)

by R Alur, C Courcoubetis, D Dill
Venue:Information and Computation