{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:06:30Z","timestamp":1725487590941},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426806"},{"type":"electronic","value":"9783540454533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45453-5_132","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T21:34:16Z","timestamp":1184967256000},"page":"983-988","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Video-on-Demand System in Temporal Logic"],"prefix":"10.1007","author":[{"given":"W.","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,20]]},"reference":[{"key":"132_CR1","doi-asserted-by":"crossref","unstructured":"Reuven Cohen, Yee-Hsiang Chang, Video-on-Demand session management, IEEE Journal on Selected Areas in Communication, 1996, 14(6).","DOI":"10.1109\/49.508285"},{"key":"132_CR2","unstructured":"Digital Audio-Visual Council, DAVIC Specifications 1.0-1.4, http:\/\/www.davic.org ."},{"key":"132_CR3","doi-asserted-by":"crossref","unstructured":"Huadong Ma, Shenquan Liu, Multimedia data modeling based on temporal logic and XYZ System, J. Computer Science & Technology, 1999.14(2).","DOI":"10.1007\/BF02946527"},{"issue":"12","key":"132_CR4","first-page":"889","volume":"9","author":"H. Ma","year":"1998","unstructured":"Huadong Ma and Xiaoping Tang, Design and implementation of multimedia authoring language. Journal of Software, 1998, 9 (12): 889\u2013893 (in Chinese).","journal-title":"Journal of Software"},{"issue":"11","key":"132_CR5","first-page":"814","volume":"18","author":"H. Ma","year":"1995","unstructured":"Huadong Ma and Shenquan Liu, Temporal logic based animation description model. Chinese Journal of Computers, 1995,18(11):814\u2013821.","journal-title":"Chinese Journal of Computers"},{"issue":"7","key":"132_CR6","first-page":"385","volume":"7","author":"H. Ma","year":"1996","unstructured":"Huadong Ma, et al., The design and implementation of animation script description language SDL\/A. Journal of Software, 1996,7(7):385\u2013393 (in Chinese).","journal-title":"Journal of Software"},{"key":"132_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent System: Specification","author":"Z. Manna","year":"1992","unstructured":"Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent System: Specification, Springer-Verlag, NY, 1992."},{"key":"132_CR8","volume-title":"Temporal Logic Programming and Software Engineering","author":"Z. Tang","year":"1999","unstructured":"Zhishong Tang, Temporal Logic Programming and Software Engineering (Vol.1). Science Press, Beijing, 1999 (in Chinese)."},{"issue":"8","key":"132_CR9","first-page":"996","volume":"11","author":"C. Zhao","year":"2000","unstructured":"Chen Zhao, Zhishong Tang, Huadong Ma. A methodology for automatically constructing a multimedia synchronizer in XYZ\/RE. Journal of Software, 2000,11(8): 996\u20131002 (in Chinese).","journal-title":"Journal of Software"}],"container-title":["Lecture Notes in Computer Science","Advances in Multimedia Information Processing \u2014 PCM 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45453-5_132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:11:45Z","timestamp":1556709105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45453-5_132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426806","9783540454533"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45453-5_132","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}