ISO-690 (author-date, English)

RASHID M, RASOOL I, AFZAAL H und ZAFAR NA, 2025. Formal verification of safety properties of epoch processing in Beacon Chain. Scientific reports. 22 November 2025. Vol. 15, no. 1, p. 43522-43522. DOI 10.1038/s41598-025-27396-w.

Elsevier - Harvard (with titles)

Rashid M, Rasool I, Afzaal H, Zafar NA, 2025. Formal verification of safety properties of epoch processing in Beacon Chain. Scientific reports 15, 43522-43522. https://doi.org/10.1038/s41598-025-27396-w

American Psychological Association 7th edition

Rashid M, Rasool I, Afzaal H, & Zafar NA. (2025). Formal verification of safety properties of epoch processing in Beacon Chain. Scientific Reports, 15(1), 43522-43522. https://doi.org/10.1038/s41598-025-27396-w

Springer - Basic (author-date)

Rashid M, Rasool I, Afzaal H, Zafar NA (2025) Formal verification of safety properties of epoch processing in Beacon Chain.. Scientific reports 15:43522-43522. https://doi.org/10.1038/s41598-025-27396-w

Juristische Zitierweise (Stüber) (Deutsch)

Rashid M/ Rasool I/ Afzaal H/ Zafar NA, Formal verification of safety properties of epoch processing in Beacon Chain., Scientific reports 2025, 43522-43522.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.