American Psychological Association 6th edition

Leila Namvari Tazehkand, & Ali Ebnenasir. (2024). A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN. 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC), 1-9. https://doi.org/10.1109/dchpc60845.2024.10454070

ISO-690 (author-date, English)

LEILA NAMVARITAZEHKAND und ALI EBNENASIR, 2024. A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN. 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC). 14 Mai 2024. P. 1-9. DOI 10.1109/dchpc60845.2024.10454070.

Modern Language Association 9th edition

Leila Namvari Tazehkand, und Ali Ebnenasir. „A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN“. 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC), Mai 2024, S. 1-9, https://doi.org/10.1109/dchpc60845.2024.10454070.

Mohr Siebeck - Recht (Deutsch - Österreich)

Leila Namvari Tazehkand/Ali Ebnenasir: A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN, 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC) 2024, 1-9.

Emerald - Harvard

Leila Namvari Tazehkand und Ali Ebnenasir. (2024), „A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN“, 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC), S. 1-9.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.