BibTeX record conf/cpsweek/FrehseAABBCGGMM19

• > Home > conf/cpsweek/FrehseAABBCGGMM19

@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Anna Becchi and
                  Lei Bu and
                  Alessandro Cimatti and
                  Mirco Giacobbe and
                  Alberto Griggio and
                  Sergio Mover and
                  Muhammad Syifa'ul Mufid and
                  Idriss Riouak and
                  Stefano Tonetta and
                  Enea Zaffanella},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  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        = {1--13},
  publisher    = {EasyChair},
  year         = {2019},
  url          = {https://doi.org/10.29007/rjwn},
  doi          = {10.29007/RJWN},
  timestamp    = {Wed, 07 Dec 2022 23:14:11 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}