Savi Maharaj, Carron Shankland. A Survey of Formal Methods Applied to Leader Election in IEEE 1394. J. UCS, 6(11):1145-1163, 2000. [doi]
@article{MaharajS00,
title = {A Survey of Formal Methods Applied to Leader Election in IEEE 1394},
author = {Savi Maharaj and Carron Shankland},
year = {2000},
url = {http://www.jucs.org/jucs_6_11/a_survey_of_formal},
tags = {survey},
researchr = {https://researchr.org/publication/MaharajS00},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {6},
number = {11},
pages = {1145-1163},
}