Quick Links

CUI Home Research Portal Scholarships Portal Photo Gallery CUI Blogs CUI Job Portal Open Access Journals CUI Thesis Repository CUI Conference & Workshops CUI Union Catalogue

Research Paper Detail

Formal Verification of Justification and Finalization in Beacon Chain

Publisher: IEEE
Publication Year: 2024

First Author:  Hamra Afzaal Second Author:  Nazir Ahmad Zafar
Third Author:  Aqsa Tehseen Volume:  12
Publication #:  Page #:  55077-55102
Level:   International Type:  Journal
Email:  hamraafzaal@cuisahiwal.edu.pk
Hamra Afzaal

Assistant Professor
Computer Science Department
Sahiwal Campus

Profile.. Publications..


Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre