A Classification of Symbolic Transition Systems

This publication has 17 references indexed in Scilit:

• Minimal model generation
  Published by Springer Nature ,2005
• General decidability theorems for infinite-state systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The theory of hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Verifying networks of timed processes
  Published by Springer Nature ,1998
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Hybrid automata with finite bisimulations
  Published by Springer Nature ,1995
• CTL∗ and ECTL∗ as fragments of the modal μ-calculus
  Theoretical Computer Science, 1994
• On model-checking for fragments of μ-calculus
  Published by Springer Nature ,1993