BeckerPDFOW07'

BibTeX

@article{DBLP:journals/it/BeckerPDFOW07,
  author    = {Bernd Becker and
               Andreas Podelski and
               Werner Damm and
               Martin Fr{\"a}nzle and
               Ernst-R{\"u}diger Olderog and
               Reinhard Wilhelm},
  title     = {SFB/TR 14 AVACS - Automatic Verification and Analysis of
               Complex Systems (Der Sonderforschungsbereich/Transregio
               14 AVACS - Automatische Verifikation und Analyse komplexer
               Systeme)},
  journal   = {it - Information Technology},
  volume    = {49},
  number    = {2},
  year      = {2007},
  pages     = {118-},
  ee        = {http://dx.doi.org/10.1524/itit.2007.49.2.118},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}