Formal Methods for Broadband and Multimedia Systems (Tutorial)

@inproceedings{Fischer-Leue:ICSE97,
  author    = {Stefan Fischer and
               Stefan Leue},
  title     = {Formal Methods for Broadband and Multimedia Systems {(Tutorial)}},
  booktitle = {ICSE},
  pages     = {665--666},
  publisher = {{ACM}},
  year      = {1997},
}