Skip to content

A Propositional Model Logic of Time Intervals

Joseph Y. Halpern, Yoav Shoham

VenueA*LICS
Year1986
ProceedingsLICS

Browse the full LICS paper archive.