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

SpringerLink (Online service), Sokolsky, O., & Taşıran, S. (2007). Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers. Springer Berlin Heidelberg.

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

SpringerLink (Online service), Oleg Sokolsky, και Serdar Taşıran. Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

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

SpringerLink (Online service), et al. Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers. Springer Berlin Heidelberg, 2007.