Paper  doi  bibtex   

@book{finkbeiner_runtime_2019,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Runtime {Verification} - 19th {International} {Conference}, {RV} 2019, {Porto}, {Portugal}, {October} 8-11, 2019, {Proceedings}},
	volume = {11757},
	isbn = {978-3-030-32078-2},
	url = {https://doi.org/10.1007/978-3-030-32079-9},
	publisher = {Springer},
	editor = {Finkbeiner, Bernd and Mariani, Leonardo},
	year = {2019},
	doi = {10.1007/978-3-030-32079-9},
}