|
|||||
|
|
Specification and verification of multimedia synchronization in Duration Calculus |
|
| Authors: | |
| Affiliation: | (1) School of Computer Science and Technology, Beijing University of Posts and Telecommunications, 100876 Beijing, P.R. China |
| Abstract: | |
| Keywords: | liveness safety temporal synchronization duration calculus multimedia |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ | |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 | |
| 点击此处可从《计算机科学技术学报》下载全文 | |