BibTeX records: Bernd Hofmann 0002

• > Home > Persons > Bernd Hofmann 0002

@phdthesis{DBLP:phd/dnb/Hofmann94,
  author       = {Bernd Hofmann},
  title        = {Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen},
  school       = {University of Mannheim, Germany},
  year         = {1994},
  url          = {https://d-nb.info/941549178},
  isbn         = {978-3-18-329910-2},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Hofmann94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FischerH93,
  author       = {Stefan Fischer and
                  Bernd Hofmann},
  editor       = {Richard L. Tenney and
                  Paul D. Amer and
                  M. {\"{U}}mit Uyar},
  title        = {An Estelle Compiler for Multiprocessor Platforms},
  booktitle    = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
                  Sixth International Conference on Formal Description Techniques -
                  {FORTE} '93, Boston, MA, USA, 26-29 October 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-22}},
  pages        = {171--186},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Sat, 04 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/FischerH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kivs/Hofmann93,
  author       = {Bernd Hofmann},
  editor       = {Nina Gerner and
                  Heinz{-}Gerd Hegering and
                  Joachim Swoboda},
  title        = {Integration von Darstellungs- und Kommunikationssteuerungsschicht
                  in Estelle},
  booktitle    = {Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, M{\"{u}}nchen,
                  3.-5. M{\"{a}}rz 1993},
  series       = {Informatik Aktuell},
  pages        = {560--573},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-3-642-78091-2\_41},
  doi          = {10.1007/978-3-642-78091-2\_41},
  timestamp    = {Sat, 04 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kivs/Hofmann93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kivs/Hofmann91,
  author       = {Bernd Hofmann},
  editor       = {Wolfgang Effelsberg and
                  Hans Werner Meuer and
                  G{\"{u}}nter M{\"{u}}ller},
  title        = {Analyse und Optimierung von Protokoll-Spezifikationen},
  booktitle    = {Kommunikation in Verteilten Systemen, Grundlagen, Anwendungen, Betrieb,
                  GI/ITG-Fachtagung, Mannheim, 20.-22. Februar 1991, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {267},
  pages        = {568--584},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-3-642-76462-2\_40},
  doi          = {10.1007/978-3-642-76462-2\_40},
  timestamp    = {Sat, 04 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kivs/Hofmann91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}