BibTeX record conf/hybrid/KongBSJH17

download as .bib file

@inproceedings{DBLP:conf/hybrid/KongBSJH17,
  author    = {Hui Kong and
               Sergiy Bogomolov and
               Christian Schilling and
               Yu Jiang and
               Thomas A. Henzinger},
  title     = {Safety Verification of Nonlinear Hybrid Systems Based on Invariant
               Clusters},
  booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  pages     = {163--172},
  year      = {2017},
  crossref  = {DBLP:conf/hybrid/2017},
  url       = {http://doi.acm.org/10.1145/3049797.3049814},
  doi       = {10.1145/3049797.3049814},
  timestamp = {Tue, 24 Apr 2018 16:35:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/KongBSJH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2017,
  editor    = {Goran Frehse and
               Sayan Mitra},
  title     = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3049797},
  doi       = {10.1145/3049797},
  isbn      = {978-1-4503-4590-3},
  timestamp = {Thu, 20 Apr 2017 15:40:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier