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

SpringerLink (Online service), Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., . . . Tillmann, N. (2010). Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg.

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

SpringerLink (Online service), et al. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

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

SpringerLink (Online service), et al. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg, 2010.