Pages that link to "Item:Q1402474"

The following pages link to Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol (Q1402474):

Displaying 1 item.

• An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols (Q2810974) (← links)