BibTeX record conf/hybrid/BogomolovFFVPS18

download as .bib file

@inproceedings{DBLP:conf/hybrid/BogomolovFFVPS18,
  author    = {Sergiy Bogomolov and
               Marcelo Forets and
               Goran Frehse and
               Fr{\'{e}}d{\'{e}}ric Viry and
               Andreas Podelski and
               Christian Schilling},
  title     = {Reach Set Approximation through Decomposition with Low-dimensional
               Sets and High-dimensional Matrices},
  booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
               Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
               Portugal, April 11-13, 2018},
  pages     = {41--50},
  year      = {2018},
  crossref  = {DBLP:conf/hybrid/2018},
  url       = {http://doi.acm.org/10.1145/3178126.3178128},
  doi       = {10.1145/3178126.3178128},
  timestamp = {Fri, 13 Apr 2018 08:48:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/BogomolovFFVPS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2018,
  title     = {Proceedings of the 21st International Conference on Hybrid Systems:
               Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
               Portugal, April 11-13, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://doi.acm.org/10.1145/3178126},
  doi       = {10.1145/3178126},
  timestamp = {Fri, 13 Apr 2018 08:44:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier