{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:14:09Z","timestamp":1729620849984,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/wowmom.2014.6919022","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T18:09:28Z","timestamp":1413310168000},"page":"1-3","source":"Crossref","is-referenced-by-count":1,"title":["Temporal verification of mobile publish\/subscribe machine-to-machine communications"],"prefix":"10.1109","author":[{"given":"Ghada","family":"Gharbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nawal","family":"Guermouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Monteil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume":"1","author":"rozenberg","year":"1997","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformations"},{"journal-title":"An architectural blueprint for autonomic computing","year":"2006","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119974031"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611012.ch4"},{"key":"5","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","article-title":"UPPAAL a tool suite for automatic verification of real-time systems","volume":"1066","author":"bengtsson","year":"1996","journal-title":"Hybrid Systems III"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38221-5_8"}],"event":{"name":"2014 IEEE 15th International Symposium on \"A World of Wireless, Mobile and Multimedia Networks\" (WoWMoM)","start":{"date-parts":[[2014,6,19]]},"location":"Sydney, Australia","end":{"date-parts":[[2014,6,19]]}},"container-title":["Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2014"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6912450\/6918912\/06919022.pdf?arnumber=6919022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:22:15Z","timestamp":1602670935000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6919022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/wowmom.2014.6919022","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}