BibTeX record conf/gi/Platzer08

• > Home > conf/gi/Platzer08

@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/handle/20.500.12116/33599},
  timestamp    = {Tue, 04 Jul 2023 17:43:36 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Platzer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}