El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
Chicago Style (17. basım) AtıfEl Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
MLA (9th ed.) AtıfEl Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..