BibTeX record conf/iccps/ZhangPN17

download as .bib file

@inproceedings{DBLP:conf/iccps/ZhangPN17,
  author       = {Wenji Zhang and
                  Pavithra Prabhakar and
                  Balasubramaniam Natarajan},
  editor       = {Sonia Mart{\'{\i}}nez and
                  Eduardo Tovar and
                  Chris Gill and
                  Bruno Sinopoli},
  title        = {Abstraction based reachability analysis for finite branching stochastic
                  hybrid systems},
  booktitle    = {Proceedings of the 8th International Conference on Cyber-Physical
                  Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
                  2017},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3055004.3055023},
  doi          = {10.1145/3055004.3055023},
  timestamp    = {Fri, 03 Sep 2021 09:01:40 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhangPN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics