BibTeX record journals/entcs/Platzer07

download as .bib file

@article{DBLP:journals/entcs/Platzer07,
  author    = {Andr{\'{e}} Platzer},
  title     = {Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {6},
  pages     = {63--77},
  year      = {2007}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics