BibTeX record conf/cav/PlatzerC08

download as .bib file

@inproceedings{DBLP:conf/cav/PlatzerC08,
  author    = {Andr{\'{e}} Platzer and
               Edmund M. Clarke},
  title     = {Computing Differential Invariants of Hybrid Systems as Fixedpoints},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5123},
  pages     = {176--189},
  publisher = {Springer},
  year      = {2008}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics