BibTeX record conf/arch/MitschMJZWZ20

• > Home > conf/arch/MitschMJZWZ20

@inproceedings{DBLP:conf/arch/MitschMJZWZ20,
  author       = {Stefan Mitsch and
                  Jonathan Juli{\'{a}}n Huerta y Munive and
                  Xiangyu Jin and
                  Bohua Zhan and
                  Shuling Wang and
                  Naijun Zhan},
  title        = {{ARCH-COMP20} Category Report: Hybrid Systems Theorem Proving},
  booktitle    = {{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},
  pages        = {153--174},
  publisher    = {EasyChair},
  year         = {2020},
  url          = {https://doi.org/10.29007/bdq9},
  doi          = {10.29007/BDQ9},
  timestamp    = {Sun, 15 Aug 2021 00:16:52 +0200},
  biburl       = {https://dblp.org/rec/conf/arch/MitschMJZWZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}