American Psychological Association 6th edition

Arian Baloochestani, & Leander Jehl. (2023). Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. 2023 5 th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), 1-7. https://doi.org/10.1109/brains59668.2023.10316928

ISO-690 (author-date, English)

ARIAN BALOOCHESTANI and LEANDER JEHL, 2023. Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. 2023 5 th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). 11 October 2023. P. 1-7. DOI 10.1109/brains59668.2023.10316928.

Modern Language Association 9th edition

Arian Baloochestani, and Leander Jehl. “Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis”. 2023 5 th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Oct. 2023, pp. 1-7, https://doi.org/10.1109/brains59668.2023.10316928.

Mohr Siebeck - Recht (Deutsch - Österreich)

Arian Baloochestani/Leander Jehl: Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis, 2023 5 th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS) 2023, 1-7.

Emerald - Harvard

Arian Baloochestani and Leander Jehl. (2023), “Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis”, 2023 5 th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), pp. 1-7.

Warning: These citations may not always be 100% accurate.