Real-time logics: complexity and expressiveness

This publication has 16 references indexed in Scilit:

• Real-time logics: complexity and expressiveness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logic of concrete time intervals
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A really temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• The glory of the past
  Published by Springer Nature ,1985
• Propositional dynamic logic of nonregular programs
  Journal of Computer and System Sciences, 1983
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966