An Interval Logic for HigherLevel Temporal (0)

by R Schwartz, P Melliar-Smith, F Vogt
Venue:Reasoning, Proc. 2nd ACM PODC, Montreal