Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
}
TY - CHAP
T1 - A framework for the formal specification and verification of distributed multimedia systems.
AU - Blair, L.
AU - Blair, Gordon S.
AU - Bowman, H.
AU - Chetwynd, Amanda G.
PY - 1994
Y1 - 1994
M3 - Chapter
BT - Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks
ER -