BibTeX record: journals/it/BienmullerDKW01

download as .bib file

@article{DBLP:journals/it/BienmullerDKW01,
  author    = {Tom Bienm{\"{u}}ller and
               Werner Damm and
               Jochen Klose and
               Hartmut Wittke},
  title     = {Formale Analyse und Verifikation von Statemate-Entw{\"{u}}rfen
               (Formal Analysis and Verification of Statemate Designs)},
  journal   = {it+ti - Informationstechnik und Technische Informatik},
  year      = {2001},
  volume    = {43},
  number    = {1},
  pages     = {29--34},
  url       = {http://dx.doi.org/10.1524/itit.2001.43.1.29},
  doi       = {10.1524/itit.2001.43.1.29},
  timestamp = {Wed, 01 Oct 2014 13:00:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/it/BienmullerDKW01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}