TY - CONF T1 - Design and verification of distributed multi-media systems JO - FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS PY - 2003/01/01 AU - Akehurst D AU - Derrick J AU - Waters AG ED - Najm E ED - Nestmann U ED - Stevens P VL - 2884 SP - 276 EP - 292 Y2 - 2025/05/19 ER -