BibTeX record journals/fmsd/SanchezSABBCFFK19a

• > Home > journals/fmsd/SanchezSABBCFFK19a

@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
  author       = {C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Wolfgang Ahrendt and
                  Ezio Bartocci and
                  Domenico Bianculli and
                  Christian Colombo and
                  Yli{\`{e}}s Falcone and
                  Adrian Francalanza and
                  Srdan Krstic and
                  Jo{\~{a}}o M. Louren{\c{c}}o and
                  Dejan Nickovic and
                  Gordon J. Pace and
                  Jos{\'{e}} Rufino and
                  Julien Signoles and
                  Dmitriy Traytel and
                  Alexander Weiss},
  title        = {Correction to: {A} survey of challenges for runtime verification from
                  advanced application domains (beyond software)},
  journal      = {Formal Methods Syst. Des.},
  volume       = {55},
  number       = {1},
  pages        = {72},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00343-y},
  doi          = {10.1007/S10703-019-00343-Y},
  timestamp    = {Thu, 27 Jul 2023 08:17:49 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}