Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Finkbeiner, B. and Mariani, L., editors Volume 11757 of Lecture Notes in Computer Science, Springer, 2019.
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings [link]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},
}
Downloads: 0