A timed verification of the IEEE 1394 leader election protocol (2001)

by J M T Romijn
Venue:Formal Methods in System Design