Application of parametric model checking - the Root Contention protocol

This publication has 8 references indexed in Scilit:

• XTG-an engineering approach to modelling and analysis of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Root Contention in IEEE 1394
  Published by Springer Nature ,1999
• Partition refinement in real-time model checking
  Published by Springer Nature ,1998
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• Model-checking for real-time systems
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986