BibTeX record conf/hybrid/BogomolovFFPS19

download as .bib file

@inproceedings{DBLP:conf/hybrid/BogomolovFFPS19,
  author    = {Sergiy Bogomolov and
               Marcelo Forets and
               Goran Frehse and
               Kostiantyn Potomkin and
               Christian Schilling},
  editor    = {Necmiye Ozay and
               Pavithra Prabhakar},
  title     = {JuliaReach: a toolbox for set-based reachability},
  booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
               16-18, 2019},
  pages     = {39--44},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3302504.3311804},
  doi       = {10.1145/3302504.3311804},
  timestamp = {Fri, 27 Mar 2020 08:51:12 +0100},
  biburl    = {https://dblp.org/rec/conf/hybrid/BogomolovFFPS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics