HerrmannKDG02'

BibTeX

@article{DBLP:journals/telsys/HerrmannKDG02,
  author    = {Peter Herrmann and
               Heiko Krumm and
               Olaf Dr{\"o}gehorn and
               Walter Geisselhardt},
  title     = {Framework and Tool Support for Formal Verification of Highspeed
               Transfer Protocol Designs},
  journal   = {Telecommunication Systems},
  volume    = {20},
  number    = {3-4},
  year      = {2002},
  pages     = {291-310},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}