Model-Checking in Dense Real-Time (0)

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