{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T13:40:20Z","timestamp":1772804420094,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/sutc.2008.24","type":"proceedings-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T11:41:53Z","timestamp":1213962113000},"page":"201-208","source":"Crossref","is-referenced-by-count":5,"title":["EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Woehrle","sequence":"first","affiliation":[]},{"given":"Christian","family":"Plessl","sequence":"additional","affiliation":[]},{"given":"Roman","family":"Lim","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Beutel","sequence":"additional","affiliation":[]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77690-1_7"},{"key":"17","author":"ringwald","year":"2006","journal-title":"SNIF Sensor network inspection framework"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73090-3_10"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2006.288514"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1098918.1098946"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1267060.1267061"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322282"},{"key":"11","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-540-27820-7_4","article-title":"wisemac: an ultra low power mac protocol for multi-hop wireless sensor networks","author":"el-hoiydi","year":"2004","journal-title":"Proc 1st Int'l Workshop Algorithmic Aspects of Wireless Sensor Networks (ALGOSENSORS 2004)"},{"key":"12","author":"moss","year":"0","journal-title":"Bug in cc2420 timestamp"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICWMC.2006.45"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/EWSN.2005.1462003"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1317103.1317106"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753493"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/958503.958506"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050040"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1278972.1278996"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639412"},{"key":"9","first-page":"195","article-title":"deployment support network - a toolkit for the development of wsns","author":"dyer","year":"2007","journal-title":"Proc 4th European Workshop on Sensor Networks (EWSN 2007)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2005.1440979"}],"event":{"name":"2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC '08)","location":"Taichung","start":{"date-parts":[[2008,6,11]]},"end":{"date-parts":[[2008,6,13]]}},"container-title":["2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4545722\/4545723\/04545758.pdf?arnumber=4545758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T18:15:06Z","timestamp":1532024106000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4545758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/sutc.2008.24","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}