BibTeX record conf/arch/AlthoffBBFFFKLM20

download as .bib file

@inproceedings{DBLP:conf/arch/AlthoffBBFFFKLM20,
  author    = {Matthias Althoff and
               Stanley Bak and
               Zongnan Bao and
               Marcelo Forets and
               Goran Frehse and
               Daniel Freire and
               Niklas Kochdumper and
               Yangge Li and
               Sayan Mitra and
               Rajarshi Ray and
               Christian Schilling and
               Stefan Schupp and
               Mark Wetzlinger},
  title     = {{ARCH-COMP20} Category Report: Continuous and Hybrid Systems with
               Linear Continuous Dynamics},
  booktitle = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
               and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
  pages     = {16--48},
  year      = {2020},
  crossref  = {DBLP:conf/arch/2020},
  url       = {https://doi.org/10.29007/7dt2},
  doi       = {10.29007/7dt2},
  timestamp = {Sun, 02 Oct 2022 15:54:55 +0200},
  biburl    = {https://dblp.org/rec/conf/arch/AlthoffBBFFFKLM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arch/2020,
  title     = {{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},
  publisher = {EasyChair},
  year      = {2020},
  url       = {https://easychair.org/publications/volume/ARCH20},
  timestamp = {Tue, 06 Dec 2022 11:02:19 +0100},
  biburl    = {https://dblp.org/rec/conf/arch/2020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics