Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager. Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods in System Design, 16(3):307-320, 2000.
@article{DevillersGRV00,
title = {Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394},
author = {Marco Devillers and W. O. David Griffioen and Judi Romijn and Frits W. Vaandrager},
year = {2000},
tags = {protocol},
researchr = {https://researchr.org/publication/DevillersGRV00},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {16},
number = {3},
pages = {307-320},
}