BibTeX record conf/gi/Platzer08

download as .bib file

@incollection{DBLP:conf/gi/Platzer08,
  author    = {Andr{\'{e}} Platzer},
  editor    = {Abraham Bernstein and
               Thomas Dreier and
               Steffen H{\"{o}}lldobler and
               G{\"{u}}nter Hotz and
               Klaus{-}Peter L{\"{o}}hr and
               Paul Molitor and
               Gustaf Neumann and
               R{\"{u}}diger Reischuk and
               Dietmar Saupe and
               Myra Spiliopoulou and
               Harald St{\"{o}}rrle and
               Dorothea Wagner},
  title     = {Differentielle dynamische Logiken: Automatisches Beweisen f{\"{u}}r
               hybride Systeme [Differential Dynamic Logic: Automated Theorem Proving
               for Hybrid Systems]},
  booktitle = {Ausgezeichnete Informatikdissertationen 2008},
  series    = {{LNI}},
  volume    = {{D-9}},
  pages     = {191--200},
  publisher = {{GI}},
  year      = {2008},
  url       = {https://dl.gi.de/20.500.12116/33599},
  timestamp = {Mon, 17 Jan 2022 17:26:49 +0100},
  biburl    = {https://dblp.org/rec/conf/gi/Platzer08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics