BibTeX record journals/computing/RauhADA12

download as .bib file

@article{DBLP:journals/computing/RauhADA12,
  author       = {Andreas Rauh and
                  Ekaterina Auer and
                  Thomas D{\"{o}}tschel and
                  Harald Aschemann},
  title        = {Verified stability analysis of continuous-time control systems with
                  bounded parameter uncertainties and stochastic disturbances},
  journal      = {Computing},
  volume       = {94},
  number       = {2-4},
  pages        = {345--356},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00607-011-0172-x},
  doi          = {10.1007/S00607-011-0172-X},
  timestamp    = {Sat, 09 Apr 2022 12:26:32 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/RauhADA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics