Helmi El Rayes, A. (2022). Evaluating the lightweight Currency System using the probabilistic Checking PRISM. معهد التخطيط القومى.
Чикаго стиль цитування (17-те видання)Helmi El Rayes, Amani. Evaluating the Lightweight Currency System Using the Probabilistic Checking PRISM. معهد التخطيط القومى, 2022.
Стиль цитування MLA (9-ме видання)Helmi El Rayes, Amani. Evaluating the Lightweight Currency System Using the Probabilistic Checking PRISM. معهد التخطيط القومى, 2022.
Попередження: стилі цитування не завжди правильні на всі 100%.