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.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)SpringerLink (Online service), Serdar Tasiran, và Shaz Qadeer. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Trích dẫn kiểu MLA (xuất bản lần thứ 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.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.