Pages that link to "Item:Q5953461"

The following pages link to Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461):

Displaying 2 items.

• Uppaal2k (Q14301) (← links)
• Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)