[{"place":"Los Alamitos, CA, USA","date_created":"2018-04-17T12:03:20Z","department":[{"_id":"27"},{"_id":"518"}],"type":"conference","keyword":["WSN","testing","verification"],"citation":{"ama":"Woehrle M, Plessl C, Lim R, Beutel J, Thiele L. EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. In: <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>. IEEE Computer Society; 2008:201-208. doi:<a href=\"https://doi.org/10.1109/SUTC.2008.24\">10.1109/SUTC.2008.24</a>","short":"M. Woehrle, C. Plessl, R. Lim, J. Beutel, L. Thiele, in: IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), IEEE Computer Society, Los Alamitos, CA, USA, 2008, pp. 201–208.","chicago":"Woehrle, Matthias, Christian Plessl, Roman Lim, Jan Beutel, and Lothar Thiele. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” In <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>, 201–8. Los Alamitos, CA, USA: IEEE Computer Society, 2008. <a href=\"https://doi.org/10.1109/SUTC.2008.24\">https://doi.org/10.1109/SUTC.2008.24</a>.","bibtex":"@inproceedings{Woehrle_Plessl_Lim_Beutel_Thiele_2008, place={Los Alamitos, CA, USA}, title={EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks}, DOI={<a href=\"https://doi.org/10.1109/SUTC.2008.24\">10.1109/SUTC.2008.24</a>}, booktitle={IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)}, publisher={IEEE Computer Society}, author={Woehrle, Matthias and Plessl, Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar}, year={2008}, pages={201–208} }","apa":"Woehrle, M., Plessl, C., Lim, R., Beutel, J., &#38; Thiele, L. (2008). EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>, 201–208. <a href=\"https://doi.org/10.1109/SUTC.2008.24\">https://doi.org/10.1109/SUTC.2008.24</a>","mla":"Woehrle, Matthias, et al. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>, IEEE Computer Society, 2008, pp. 201–08, doi:<a href=\"https://doi.org/10.1109/SUTC.2008.24\">10.1109/SUTC.2008.24</a>.","ieee":"M. Woehrle, C. Plessl, R. Lim, J. Beutel, and L. Thiele, “EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks,” in <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>, 2008, pp. 201–208, doi: <a href=\"https://doi.org/10.1109/SUTC.2008.24\">10.1109/SUTC.2008.24</a>."},"publication":"IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)","quality_controlled":"1","publisher":"IEEE Computer Society","_id":"2370","language":[{"iso":"eng"}],"page":"201-208","doi":"10.1109/SUTC.2008.24","user_id":"15278","publication_identifier":{"isbn":["978-0-7695-3158-8"]},"author":[{"full_name":"Woehrle, Matthias","first_name":"Matthias","last_name":"Woehrle"},{"full_name":"Plessl, Christian","first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","id":"16153"},{"last_name":"Lim","first_name":"Roman","full_name":"Lim, Roman"},{"full_name":"Beutel, Jan","first_name":"Jan","last_name":"Beutel"},{"full_name":"Thiele, Lothar","last_name":"Thiele","first_name":"Lothar"}],"title":"EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks","status":"public","year":"2008","date_updated":"2023-09-26T13:55:02Z"}]