@misc{Schieferdecker1993,
  author       = {Schieferdecker, Ina and Wolisz, Adam},
  title        = {Verifying Performance Bounds of Communication Protocols},
  articleno       = {93/11},
  publisher    = {Fachbibliothek Informatik},
  series       = {Forschungsberichte des Fachbereichs Informatik / Technische Universit{\"a}t Berlin},
  year         = {1993},
  type			= {misc}
}