Mitschele-ThielLH96'

BibTeX

@inproceedings{DBLP:conf/forte/Mitschele-ThielLH96,
  author    = {Andreas Mitschele-Thiel and
               Peter Langend{\"o}rfer and
               Ralf Henke},
  title     = {Design and Optimization of High-Performance Protocols with
               the DO-IT Toolbox},
  booktitle = {FORTE},
  year      = {1996},
  pages     = {45-60},
  crossref  = {DBLP:conf/forte/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {Formal Description Techniques IX: Theory, application and
               tools, IFIP TC6 WG6.1 International Conference on Formal
               Description Techniques IX / Protocol Specification, Testing
               and Verification XVI, Kaiserslautern, Germany, 8-11 October
               1996},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {69},
  year      = {1996},
  isbn      = {0-412-79490-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}