APA (7th ed.) Citation

RV (Workshop) Budapest, Hungary), SpringerLink (Online service), & Leucker, M. (2008). Runtime Verification. Springer-Verlag. https://doi.org/10.1007/978-3-540-89247-2

Chicago Style (17th ed.) Citation

RV (Workshop) Budapest, Hungary), SpringerLink (Online service), and Martin Leucker. Runtime Verification. Berlin: Springer-Verlag, 2008. https://doi.org/10.1007/978-3-540-89247-2.

MLA (9th ed.) Citation

RV (Workshop) Budapest, Hungary), et al. Runtime Verification. Springer-Verlag, 2008. https://doi.org/10.1007/978-3-540-89247-2.