Root Contention in IEEE 1394

This publication has 8 references indexed in Scilit:

• Root Contention in IEEE 1394
  Published by Springer Nature ,1999
• Liveness in Timed and Untimed Systems
  Information and Computation, 1998
• Normed simulations
  Published by Springer Nature ,1998
• Forward and Backward Simulations
  Information and Computation, 1996
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• The tool Kronos
  Published by Springer Nature ,1996
• Proving time bounds for randomized distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1994
• The existence of refinement mappings
  Theoretical Computer Science, 1991