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

by Judi Romijn
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:14 - 1 self