Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
The Leader Election Protocol of IEEE 1394 in Maude
WRLA, 2000.
@article{WRLA-2000-VerdejoPM,
author = "Alberto Verdejo and Isabel Pita and Narciso Martí-Oliet",
doi = "10.1016/S1571-0661(05)80133-1",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "383--404",
title = "{The Leader Election Protocol of IEEE 1394 in Maude}",
volume = 36,
year = 2000,
}