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.

Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis

Arian Baloochestani, Leander Jehl. Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. In 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023. pages 1-7, IEEE, 2023. [doi]

Authors

Arian Baloochestani

This author has not been identified. Look up 'Arian Baloochestani' in Google

Leander Jehl

This author has not been identified. Look up 'Leander Jehl' in Google
runs on