university website Publications by Year
  • sign in
  • Specification and Analysis of Embedded Systems /
  • Science of Computer Programming /
  • Article
  • Search

Y.S. Usenko (Yaroslav)

2002

State space generation for the HAVi leader election protocol

Publication

Publication

Science of Computer Programming , Volume 43 - Issue 1 p. 1- 33

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.
Free Full Text ( Final Version )

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

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close