A logic of concrete time intervals

This publication has 6 references indexed in Scilit:

• Time bounds for real-time process control in the presence of timing uncertainty
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Model-checking of real-time systems
  Published by Association for Computing Machinery (ACM) ,1997
• I/O Automata: A Model for Discrete Event Systems
  Published by Defense Technical Information Center (DTIC) ,1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Automatic verification of asynchronous circuits using temporal logic
  IEE Proceedings E Computers and Digital Techniques, 1986
• Real-time programming and asynchronous message passing
  Published by Association for Computing Machinery (ACM) ,1983