BibTeX record conf/hybrid/ZulianiBC12

download as .bib file

@inproceedings{DBLP:conf/hybrid/ZulianiBC12,
  author       = {Paolo Zuliani and
                  Christel Baier and
                  Edmund M. Clarke},
  editor       = {Thao Dang and
                  Ian M. Mitchell},
  title        = {Rare-event verification for stochastic hybrid systems},
  booktitle    = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
                  HSCC'12, Beijing, China, April 17-19, 2012},
  pages        = {217--226},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2185632.2185665},
  doi          = {10.1145/2185632.2185665},
  timestamp    = {Tue, 03 Aug 2021 16:22:20 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ZulianiBC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics