Qadeer, S., & Tasiran, S. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (1st ed. 2013.). Springer Berlin Heidelberg.
Cita Chicago (17th ed.)Qadeer, Shaz, i Serdar Tasiran. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg.
Cita MLA (8th ed.)Qadeer, Shaz, i Serdar Tasiran. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. 1st ed. 2013. Springer Berlin Heidelberg.
Atenció: Aquestes cites poden no estar 100% correctes.