BibTeX record conf/qrs/HuangL019

download as .bib file

@inproceedings{DBLP:conf/qrs/HuangL019,
  author       = {Li Huang and
                  Tian Liang and
                  Eun{-}Young Kang},
  title        = {Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical
                  Systems},
  booktitle    = {19th {IEEE} International Conference on Software Quality, Reliability
                  and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019},
  pages        = {228--239},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/QRS.2019.00039},
  doi          = {10.1109/QRS.2019.00039},
  timestamp    = {Wed, 10 Feb 2021 15:14:24 +0100},
  biburl       = {https://dblp.org/rec/conf/qrs/HuangL019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics