BibTeX record journals/mam/NiaKF20

download as .bib file

@article{DBLP:journals/mam/NiaKF20,
  author       = {Mehran Alidoost Nia and
                  Mehdi Kargahi and
                  Fathiyeh Faghih},
  title        = {Probabilistic approximation of runtime quantitative verification in
                  self-adaptive systems},
  journal      = {Microprocess. Microsystems},
  volume       = {72},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.micpro.2019.102943},
  doi          = {10.1016/J.MICPRO.2019.102943},
  timestamp    = {Sat, 22 Feb 2020 19:24:36 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/NiaKF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics