BibTeX record journals/tse/BodeHHJPPRWB09

download as .bib file

@article{DBLP:journals/tse/BodeHHJPPRWB09,
  author    = {Eckard B{\"{o}}de and
               Marc Herbstritt and
               Holger Hermanns and
               Sven Johr and
               Thomas Peikenkamp and
               Reza Pulungan and
               Jan{-}Hendrik Rakow and
               Ralf Wimmer and
               Bernd Becker},
  title     = {Compositional Dependability Evaluation for {STATEMATE}},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {35},
  number    = {2},
  pages     = {274--292},
  year      = {2009},
  url       = {https://doi.org/10.1109/TSE.2008.102},
  doi       = {10.1109/TSE.2008.102},
  timestamp = {Fri, 26 Jun 2020 16:58:02 +0200},
  biburl    = {https://dblp.org/rec/journals/tse/BodeHHJPPRWB09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics