Lancaster EPrints

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

Blair, L. and Blair, Gordon S. and Bowman, H. and Chetwynd, Amanda 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. .

Full text not available from this repository.
Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics
Departments: Faculty of Science and Technology > School of Computing & Communications
Faculty of Science and Technology > Mathematics and Statistics
VC's Office
ID Code: 20767
Deposited By: Prof Amanda Chetwynd
Deposited On: 25 Nov 2008 16:48
Refereed?: No
Published?: Published
Last Modified: 26 Jul 2012 21:20
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/20767

Actions (login required)

View Item