BibTeX record phd/basesearch/Bund17

download as .bib file

@phdthesis{DBLP:phd/basesearch/Bund17,
  author       = {Tobias Bund},
  title        = {Verifikation sicherheitskritischer Regelsysteme unter Beachtung des
                  Zeitverhaltens einer verteilten Rechenplattform},
  school       = {University of Ulm, Germany},
  year         = {2017},
  url          = {https://doi.org/10.18725/OPARU-4463},
  doi          = {10.18725/OPARU-4463},
  urn          = {urn:nbn:de:bsz:289-oparu-4502-1},
  timestamp    = {Thu, 15 Feb 2024 13:27:26 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Bund17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics