A calculus of macro-events: Progress report (2000)

by I Cervesato, A Montanari
Venue:In Proc. of the Int. Workshop on Temporal Representation and Reasoning (TIME). IEEE