Model Checking in Dense Real-Time (1990)

by R Alur, C Courcoubetis, D Dill
Venue:In Proc. of the 5th IEEE Symposium on Logic in Computer Science. LICS