BibTeX record conf/arch/GerettiSABCCDFK21

download as .bib file

@inproceedings{DBLP:conf/arch/GerettiSABCCDFK21,
  author    = {Luca Geretti and
               Julien Alexandre Dit Sandretto and
               Matthias Althoff and
               Luis Benet and
               Alexandre Chapoutot and
               Pieter Collins and
               Parasara Sridhar Duggirala and
               Marcelo Forets and
               Edward Kim and
               Uziel Linares and
               David P. Sanders and
               Christian Schilling and
               Mark Wetzlinger},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH-COMP21} Category Report: Continuous and Hybrid Systems with
               Nonlinear Dynamics},
  booktitle = {8th International Workshop on Applied Verification of Continuous and
               Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {32--54},
  publisher = {EasyChair},
  year      = {2021},
  url       = {https://doi.org/10.29007/2jw8},
  doi       = {10.29007/2jw8},
  timestamp = {Sat, 09 Apr 2022 12:35:17 +0200},
  biburl    = {https://dblp.org/rec/conf/arch/GerettiSABCCDFK21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics