TY - CONF T1 - Design and Verification of Distributed Multi-media Systems. JO - FMOODS UR - https://doi.org/10.1007/b94120 PY - 2003/01/01 AU - Akehurst DH AU - Derrick J AU - Waters AG ED - Najm E ED - Nestmann U ED - Stevens P PB - Springer VL - 2884 SP - 176 EP - 292 Y2 - 2025/07/03 ER -