D: Model-checking for real-time systems (0)

by R Alur, C Courcoubetis, Dill
Venue:Proc 5th IEEE Syrup on Logic in Computer Science