We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK


97% of Lancaster students go into work or further study within six months of graduating

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

« Back

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

Research output: Contribution in Book/Report/ProceedingsChapter


Publication date1994
Host publicationProceedings 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