State space generation for the HAVi leader election protocol

Additional Metadata
Publisher	North-Holland
Journal	Science of Computer Programming
Note	Coden: scpgd4
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Usenko, Y. (2002). State space generation for the HAVi leader election protocol. Science of Computer Programming, 43(1), 1–33.

Additional Files
0004D.pdf Final Version , 3mb
Publisher Version

Publication