APA (7th ed.) Citation

RV (Workshop) Grenoble, France), Bensalem, S., & Peled, D. A. (2009). Runtime verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers. Springer-Verlag. https://doi.org/10.1007/978-3-642-04694-0

Chicago Style (17th ed.) Citation

RV (Workshop) Grenoble, France), Saddek Bensalem, and Doron A. Peled. Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers. Berlin: Springer-Verlag, 2009. https://doi.org/10.1007/978-3-642-04694-0.

MLA (9th ed.) Citation

RV (Workshop) Grenoble, France), et al. Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers. Springer-Verlag, 2009. https://doi.org/10.1007/978-3-642-04694-0.