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 Style (17th ed.) CitationSpringerLink (Online service), Sarfraz Khurshid, and 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 ed.) CitationSpringerLink (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.
Warning: These citations may not always be 100% accurate.
