206
click to vote
CONCUR
1998
Springer
16 years 11 days ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...