@techreport{schieferdecker1993verifying,
  author = {Schieferdecker, Ina Kathrin and Wolisz, Adam},
  title = {{Verifying Performance Bounds of Communication Protocols}},
  institution = {Telecommunication Networks Group (TKN), TU Berlin (TUB)},
  location = {Berlin, Germany},
  month = {11},
  number = {93/11},
  type = {Technical Report},
  year = {1993},
}