Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
A framework for the formal specification and ve...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Computing and Communications
School Of Mathematical Sciences
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/ISSN
›
Chapter
Published
Overview
Cite this
L. Blair
Gordon S. Blair
H. Bowman
Amanda G. Chetwynd
Close
More...
Publication date
1994
Host publication
Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks
<mark>Original language</mark>
English