%0 Journal Article %1 journals/jcst/Ma03 %A Ma, Huadong %D 2003 %J J. Comput. Sci. Technol. %K dblp %N 2 %P 172-180 %T Specification and Verification of Multimedia Synchronization in Duration Calculus. %U http://dblp.uni-trier.de/db/journals/jcst/jcst18.html#Ma03 %V 18

@article{journals/jcst/Ma03, added-at = {2011-05-17T00:00:00.000+0200}, author = {Ma, Huadong}, biburl = {https://www.bibsonomy.org/bibtex/2479473bf8c7d56e6444c4e4a8d338154/dblp}, ee = {http://dx.doi.org/10.1007/BF02948882}, interhash = {6e566495b35c818a67a2e0ebe3c2a056}, intrahash = {479473bf8c7d56e6444c4e4a8d338154}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 2, pages = {172-180}, timestamp = {2011-05-18T11:33:28.000+0200}, title = {Specification and Verification of Multimedia Synchronization in Duration Calculus.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst18.html#Ma03}, volume = 18, year = 2003 }