BibTeX record journals/corr/abs-1902-03776

• > Home > journals/corr/abs-1902-03776

@article{DBLP:journals/corr/abs-1902-03776,
  author       = {Wolfgang Ahrendt and
                  Cyrille Artho and
                  Christian Colombo and
                  Yli{\`{e}}s Falcone and
                  Srdan Krstic and
                  Martin Leucker and
                  Florian Lorber and
                  Jo{\~{a}}o M. Louren{\c{c}}o and
                  Leonardo Mariani and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Volker Stolz},
  title        = {{COST} Action {IC} 1402 ArVI: Runtime Verification Beyond Monitoring
                  - Activity Report of Working Group 1},
  journal      = {CoRR},
  volume       = {abs/1902.03776},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.03776},
  eprinttype    = {arXiv},
  eprint       = {1902.03776},
  timestamp    = {Wed, 28 Dec 2022 16:42:43 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-03776.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}