@book{bartocci:hal-01762298, TITLE = {{Lectures on Runtime Verification. Introductory and Advanced Topics}}, AUTHOR = {Bartocci, Ezio and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01762298}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {10457}, PAGES = {1-240}, YEAR = {2018}, MONTH = Feb, DOI = {10.1007/978-3-319-75632-5}, PDF = {https://inria.hal.science/hal-01762298/file/rv-book-editor-version.pdf}, HAL_ID = {hal-01762298}, HAL_VERSION = {v1}, }