BibTeX record journals/logcom/Platzer10

download as .bib file

@article{DBLP:journals/logcom/Platzer10,
  author    = {Andr{\'{e}} Platzer},
  title     = {Differential-algebraic Dynamic Logic for Differential-algebraic Programs},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {1},
  pages     = {309--352},
  year      = {2010}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics