BibTeX record conf/cpsweek/ErnstADFMPYYZ19

• > Home > conf/cpsweek/ErnstADFMPYYZ19

@inproceedings{DBLP:conf/cpsweek/ErnstADFMPYYZ19,
  author       = {Gidon Ernst and
                  Paolo Arcaini and
                  Alexandre Donz{\'{e}} and
                  Georgios Fainekos and
                  Logan Mathesen and
                  Giulia Pedrielli and
                  Shakiba Yaghoubi and
                  Yoriyuki Yamagata and
                  Zhenya Zhang},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP} 2019 Category Report: Falsification},
  booktitle    = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
                  and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
                  April 15, 2019},
  series       = {EPiC Series in Computing},
  volume       = {61},
  pages        = {129--140},
  publisher    = {EasyChair},
  year         = {2019},
  url          = {https://doi.org/10.29007/68dk},
  doi          = {10.29007/68DK},
  timestamp    = {Mon, 05 Feb 2024 20:34:57 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ErnstADFMPYYZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}