@inproceedings{inproceedings, title  = {{Design and verification of distributed multi-media systems}},

 url = {{}},

 year = {{2003}},

 month = {{1}},

 author = {{Akehurst D and Derrick J and Waters AG}},

 volume = {{2884}},

 journal = {{FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS}},

 pages = {{276-292}},

 note = {{Accessed on 2024/12/20}}}