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  - 2024/12/22

ER  -