Home > Research > Publications & Outputs > A framework for the formal specification and ve...
View graph of relations

A framework for the formal specification and verification of distributed multimedia systems.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Published

Standard

A framework for the formal specification and verification of distributed multimedia systems. / Blair, L.; Blair, Gordon S.; Bowman, H.; Chetwynd, Amanda G.

Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks. 1994.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Harvard

Blair, L, Blair, GS, Bowman, H & Chetwynd, AG 1994, A framework for the formal specification and verification of distributed multimedia systems. in Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.

APA

Blair, L., Blair, G. S., Bowman, H., & Chetwynd, A. G. (1994). A framework for the formal specification and verification of distributed multimedia systems. In Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks

Vancouver

Blair L, Blair GS, Bowman H, Chetwynd AG. A framework for the formal specification and verification of distributed multimedia systems. In Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks. 1994

Author

Blair, L. ; Blair, Gordon S. ; Bowman, H. ; Chetwynd, Amanda G. / A framework for the formal specification and verification of distributed multimedia systems. Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks. 1994.

Bibtex

@inbook{0537ba5032cf476a809c2fd55c923b26,
title = "A framework for the formal specification and verification of distributed multimedia systems.",
author = "L. Blair and Blair, {Gordon S.} and H. Bowman and Chetwynd, {Amanda G.}",
year = "1994",
language = "English",
booktitle = "Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks",

}

RIS

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 -