Half-order modal logic: how to prove real-time properties
- 1 August 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 281-296
- https://doi.org/10.1145/93385.93429
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Real-Time Logics: Complexity and Expressiveness,Published by Defense Technical Information Center (DTIC) ,1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980