@inproceedings{inproceedings, title = {{Design and Verification of Distributed Multi-media Systems.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/b94120 }}, year = {{2003}}, month = {{1}}, author = {{Akehurst DH and Derrick J and Waters AG}}, volume = {{2884}}, journal = {{FMOODS}}, pages = {{176-292}}, note = {{Accessed on 2025/07/04}}}