El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रEl Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
एमएलए (9वां संस्करण) प्रशस्ति पत्रEl Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.