APA način citiranja (7. izdanje)
Shaz Qadeer, S. T. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer.
Čikaški stil citiranja (17. izdanje)
Shaz Qadeer, Serdar Tasiran. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Berlín, Alemania: Springer.
MLA način citiranja (9. izdanje)
Shaz Qadeer, Serdar Tasiran. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.