BibTeX record conf/arch/GerettiSABCCCFF20

download as .bib file

@inproceedings{DBLP:conf/arch/GerettiSABCCCFF20,
  author    = {Luca Geretti and
               Julien Alexandre Dit Sandretto and
               Matthias Althoff and
               Luis Benet and
               Alexandre Chapoutot and
               Xin Chen and
               Pieter Collins and
               Marcelo Forets and
               Daniel Freire and
               Fabian Immler and
               Niklas Kochdumper and
               David P. Sanders and
               Christian Schilling},
  title     = {{ARCH-COMP20} Category Report: Continuous and Hybrid Systems with
               Nonlinear Dynamics},
  booktitle = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
               and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
  series    = {EPiC Series in Computing},
  volume    = {74},
  pages     = {49--75},
  publisher = {EasyChair},
  year      = {2020},
  url       = {https://doi.org/10.29007/zkf6},
  doi       = {10.29007/zkf6},
  timestamp = {Sun, 02 Oct 2022 15:54:55 +0200},
  biburl    = {https://dblp.org/rec/conf/arch/GerettiSABCCCFF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics