External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal verification of a distributed master election protocol

Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu. Formal verification of a distributed master election protocol. In Thomas Nolte, Andreas Willig, editors, 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012, Lemgo, NRW, Germany, May 21-24, 2012. pages 245-254, IEEE, 2012. [doi]

Authors

Gianluca Cena

This author has not been identified. Look up 'Gianluca Cena' in Google

Ivan Cibrario Bertolotti

This author has not been identified. Look up 'Ivan Cibrario Bertolotti' in Google

Tingting Hu

This author has not been identified. Look up 'Tingting Hu' in Google
runs on