El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
Chicago (17e ed.) BronvermeldingEl Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
MLA (9e ed.) BronvermeldingEl Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
Let op: Deze citaties zijn niet altijd 100% accuraat.