@PhdThesis{Schieferdecker1995a,
  author       = {Ina Kathrin Schieferdecker},
  title        = {Performance-oriented specification of communication protocols and verification of deterministic bounds of their {QoS} characteristics},
  isbn         = {3486233289},
  numpages    = {256},
  file         = {:1994/Schieferdecker1995a - Performance Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of Their QoS Characteristics.pdf:PDF},
  articleno       = {242},
  ppn_gvk      = {182862720},
  publisher    = {Oldenbourg},
  school       = {Technical University Berlin},
  series       = {Berichte der Gesellschaft f{\"u}r Mathematik und Datenverarbeitung},
  year         = {1995},
  type			= {book}
}