Minimization of timed transition systems

This publication has 16 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Minimal state graph generation
  Science of Computer Programming, 1992
• Online minimization of transition systems (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1992
• From ATP to timed graphs and hybrid systems
  Published by Springer Nature ,1992
• Minimal model generation
  Published by American Mathematical Society (AMS) ,1991
• The benefits of relaxing punctuality
  Published by Association for Computing Machinery (ACM) ,1991
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Automatic Verification of Sequential Circuits Using Temporal Logic
  IEEE Transactions on Computers, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982