Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Khurshid, S., & Sen, K. (2012). Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Sarfraz Khurshid, και Koushik Sen. Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Springer Berlin Heidelberg, 2012.