Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle

Tony Tsang, Richard Lai. Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. Software: Practice and Experience, 28(11):1185-1211, 1998.

Abstract

Abstract is missing.