From timed automata to logic — and back

This publication has 11 references indexed in Scilit:

• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• From Timed Automata to Logic - and Back
  BRICS Report Series, 1995
• Relating processes with respect to speed
  Published by Springer Nature ,1991
• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A modal characterization of observational congruence on finite terms of CCS
  Information and Control, 1986
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955