Costas Mourlas. Specification and Verification of Quality Requirements in Distributed Multimedia Presentations. In 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW 02) July 2-5, 2002, Vienna, Austria, Proceedings. pages 323-330, IEEE Computer Society, 2002. [doi]
Abstract is missing.