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 Style (17th ed.) CitationSpringerLink (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 ed.) CitationSpringerLink (Online service), et al. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg, 2010.
Warning: These citations may not always be 100% accurate.