Specification and verification of multimedia synchronization scenarios using time-Estelle Academic Article uri icon

publication date

  • September 1998