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. UNSPECIFIED.
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 |
