Eyal Harel, Orna Lichtenstein, Amir Pnueli. Explicit Clock Temporal Logic. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 402-413, IEEE Computer Society, 1990.
@inproceedings{HarelLP90, title = {Explicit Clock Temporal Logic}, author = {Eyal Harel and Orna Lichtenstein and Amir Pnueli}, year = {1990}, tags = {logic}, researchr = {https://researchr.org/publication/HarelLP90}, cites = {0}, citedby = {0}, pages = {402-413}, booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA}, publisher = {IEEE Computer Society}, }