Verification of a leader election protocol --- formal methods applied to IEEE 1394 (1997)

by Marco Devillers , David Griffioen , Judi Romijn , Frits Vaandrager
Venue:IEEE 1394. Formal Methods in System Design
Citations:28 - 7 self