SpringerLink (Online service), Tasiran, S., & Qadeer, S. (2013). Runtime verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer Berlin Heidelberg.
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতিSpringerLink (Online service), Serdar Tasiran, এবং Shaz Qadeer. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
M.L.A (8 ম সংস্করণ) উদ্ধৃতিSpringerLink (Online service), et al. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer Berlin Heidelberg, 2013.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.