@article{915754,
      note = {International conference proceedings.},
      author = {Finkbeiner, Bernd, and Mariani, Leonardo,},
      url = {http://library.usi.edu/record/915754},
      title = {Runtime verification : 19th International Conference, RV  2019, Porto, Portugal, October 8-11, 2019, Proceedings /.  RV (Conference)},
      doi = {https://doi.org/10.1007/978-3-030-32079-9},
      recid = {915754},
      pages = {1 online resource (x, 413 pages) :},
}