@InProceedings{Leue94,
  author       = {Stefan Leue},
  title        = {{QoS} Specification Based on {SDL}/{MSC} and Temporal Logic},
  booktitle = {Workshop on Multimedia Applications and Quality of Service Verification},
  editor    = {G. v. Bochmann and J. de Meer and A. Vogel},
  address   = {Montreal},
  year      = 1994,
}