Automatic Verification of Real-Time Communicating Systems by Constraint-Solving

This publication has 2 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• A fast mutual exclusion algorithm
  ACM Transactions on Computer Systems, 1987