SpringerLink (Online service), Sen, K., & Khurshid, S. (2012). Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (1st ed. 2012.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Koushik Sen, y Sarfaz Khurshid. Runtime Verification: Second International Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers. 1st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Runtime Verification: Second International Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers. 1st ed. 2012. Springer Berlin Heidelberg : Imprint: Springer, 2012.