BibTeX record conf/hybrid/NghiemSFIGP10

• > Home > conf/hybrid/NghiemSFIGP10

@inproceedings{DBLP:conf/hybrid/NghiemSFIGP10,
  author       = {Truong Nghiem and
                  Sriram Sankaranarayanan and
                  Georgios Fainekos and
                  Franjo Ivancic and
                  Aarti Gupta and
                  George J. Pappas},
  editor       = {Karl Henrik Johansson and
                  Wang Yi},
  title        = {Monte-carlo techniques for falsification of temporal properties of
                  non-linear hybrid systems},
  booktitle    = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
                  2010},
  pages        = {211--220},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1755952.1755983},
  doi          = {10.1145/1755952.1755983},
  timestamp    = {Sat, 30 Sep 2023 09:42:51 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/NghiemSFIGP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}