BibTeX record journals/corr/abs-1811-06502

download as .bib file

@article{DBLP:journals/corr/abs-1811-06502,
  author    = {Stefan Mitsch and
               Andr{\'{e}} Platzer},
  title     = {Verified Runtime Validation for Partially Observable Hybrid Systems},
  journal   = {CoRR},
  volume    = {abs/1811.06502},
  year      = {2018}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics