BibTeX record conf/arch/GerettiSABCCDFK21

• > Home > conf/arch/GerettiSABCCDFK21

@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}
}