@misc{Schieferdecker1993c,
  author       = {Ina Kathrin Schieferdecker},
  title        = {On the Verification of deterministic Bounds for Quality-of-Service Characteristics of Communication Protocols},
  articleno       = {19},
  booktitle         = {Forschungsprojekte des Graduiertenkollegs ``Kommunikationbasierte Systeme''},
  year         = {1993},
  type			= {misc}
}