BibTeX record conf/adhs/AlthoffB0FFFKLM18

• > Home > conf/adhs/AlthoffB0FFFKLM18

@inproceedings{DBLP:conf/adhs/AlthoffB0FFFKLM18,
  author       = {Matthias Althoff and
                  Stanley Bak and
                  Xin Chen and
                  Chuchu Fan and
                  Marcelo Forets and
                  Goran Frehse and
                  Niklas Kochdumper and
                  Yangge Li and
                  Sayan Mitra and
                  Rajarshi Ray and
                  Christian Schilling and
                  Stefan Schupp},
  editor       = {Goran Frehse and
                  Matthias Althoff and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  title        = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
                  Linear Continuous Dynamics},
  booktitle    = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {23--52},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/73mb},
  doi          = {10.29007/73MB},
  timestamp    = {Mon, 03 Jan 2022 22:24:28 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}