{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:36:55Z","timestamp":1730277415697,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iswpc.2013.6707433","type":"proceedings-article","created":{"date-parts":[[2014,1,10]],"date-time":"2014-01-10T20:09:02Z","timestamp":1389384542000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks"],"prefix":"10.1109","author":[{"given":"Admar Ajith Kumar","family":"Somappa","sequence":"first","affiliation":[]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[]},{"given":"Knut","family":"Ovsthus","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"Code generation for protocols from cpn models annotated with pragmatics","author":"simonsen","year":"2013","journal-title":"24th Nordic Workshop on Programming Theory (NWPT 2012)"},{"key":"18","first-page":"259","article-title":"Transforming platform independent cpn models into code for the tinyos platform: A case study of the RPL protocol","volume":"989","author":"veiset","year":"2013","journal-title":"Proceedings of PNSE"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.3390\/s110101059"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1868521.1868574"},{"key":"13","first-page":"41","volume":"15","author":"molisch","year":"2004","journal-title":"IEEE 802 15 4a Channel Model-Final Report"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2015754"},{"key":"11","article-title":"Castalia, a simulator for wireless sensor networks and body area networks","author":"boulis","year":"2009","journal-title":"National ICT"},{"key":"12","article-title":"Coloured petri nets and cpn tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on STTT"},{"journal-title":"GINSENG Project","year":"0","key":"3"},{"key":"2","article-title":"Wireless sensor and actuator networks: Technologies","author":"verdone","year":"2010","journal-title":"Analysis and Design"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2008.3031"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2004.04.003"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.07.018"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450069"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"4","first-page":"216","article-title":"Time-critical data delivery in wireless sensor networks","volume":"6131","author":"suriyachai","year":"2010","journal-title":"Proceedings of DCOSS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_7"}],"event":{"name":"2013 International Symposium on Wireless and Pervasive Computing (ISWPC)","start":{"date-parts":[[2013,11,20]]},"location":"Taipei","end":{"date-parts":[[2013,11,22]]}},"container-title":["International Symposium on Wireless and pervasive Computing (ISWPC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6695813\/6707422\/06707433.pdf?arnumber=6707433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T01:54:48Z","timestamp":1490234088000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6707433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iswpc.2013.6707433","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}