BibTeX record journals/entcs/KemperP07

download as .bib file

@article{DBLP:journals/entcs/KemperP07,
  author    = {Stephanie Kemper and
               Andr{\'{e}} Platzer},
  title     = {SAT-based Abstraction Refinement for Real-time Systems},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {182},
  pages     = {107--122},
  year      = {2007}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics