{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:49:13Z","timestamp":1729640953716,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/icmcs.2014.6911283","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:49:12Z","timestamp":1412801352000},"page":"1153-1158","source":"Crossref","is-referenced-by-count":0,"title":["Efficient and modular modeling of hierarchical multimedia objects by using time ERPN<sup>+<\/sup>"],"prefix":"10.1109","author":[{"given":"Djaouida","family":"Dahmani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samia","family":"Mazouz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malika","family":"Boukala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1023\/A:1019944800320"},{"key":"ref11","article-title":"Analyzing SMIL Documents by using Time Recursive Petri Nets","author":"mazouz","year":"2008","journal-title":"18th Int Conf on Computer Theory and Applications ICCTA '2008"},{"key":"ref12","first-page":"126","article-title":"Formal approach for the coherence control of smil documents","volume":"3","author":"mazouz","year":"2006","journal-title":"IJCSA"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/354384.376346"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/32.75415"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CSIT.2013.6588797"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/244130.244178"},{"key":"ref8","article-title":"A modular approach for reusing formalisms in verification tools of concurrent systems","author":"etienne","year":"2013","journal-title":"Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM'13) Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-540-89287-8_7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1504\/IJCCBS.2011.042327"},{"year":"2008","article-title":"Synchronized multimedia integration language (smil 3.0)","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","article-title":"Recursive Petri nets - Theory and application to discrete event systems","volume":"44","author":"haddad","year":"2007","journal-title":"Acta Informatica"}],"event":{"name":"2014 International Conference on Multimedia Computing and Systems (ICMCS)","start":{"date-parts":[[2014,4,14]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2014,4,16]]}},"container-title":["2014 International Conference on Multimedia Computing and Systems (ICMCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900112\/6911126\/06911283.pdf?arnumber=6911283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:04:02Z","timestamp":1498169042000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6911283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icmcs.2014.6911283","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}