Joseph Y. Halpern, Yoav Shoham
A Propositional Model Logic of Time Intervals
LICS, 1986.
@inproceedings{LICS-1986-HalpernS,
author = "Joseph Y. Halpern and Yoav Shoham",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "279--292",
publisher = "{IEEE Computer Society}",
title = "{A Propositional Model Logic of Time Intervals}",
year = 1986,
}