Pages that link to "Item:Q1402480"
From MaRDI portal
The following pages link to Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol (Q1402480):
Displayed 2 items.