DBLP BibTeX Record 'journals/it/BienmullerDKW01'

@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},
  volume    = {43},
  number    = {1},
  year      = {2001},
  pages     = {29-34},
  ee        = {http://dx.doi.org/10.1524/itit.2001.43.1.29},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}