Petermann00'

BibTeX

@article{DBLP:journals/jetai/Petermann00,
  author    = {Uwe Petermann},
  title     = {Towards dependable development tools for embedded systems:
               a case study in software verification},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {12},
  number    = {4},
  year      = {2000},
  pages     = {489-498},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}