BibTeX record phd/dnb/Schmitz16a

download as .bib file

@phdthesis{DBLP:phd/dnb/Schmitz16a,
  author       = {Malte Schmitz},
  title        = {Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken
                  und Monitorkonstruktionen f{\"{u}}r asynchrone Prozesse},
  school       = {University of L{\"{u}}beck, Germany},
  year         = {2016},
  url          = {https://d-nb.info/1100310495},
  isbn         = {978-3-658-12851-7},
  timestamp    = {Thu, 11 Apr 2024 20:24:33 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Schmitz16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics